2006 - CLUEB
Capitolo PDF (0,35 Mb)
Consultabile solo con Adobe Acrobat Reader (scopri come)
Metodo di decisione per la logica intuizionista e la logica di Jankov
P. [1-33] [33]
Fa parte di
Logica, scienza, linguaggio. - ( Preprint ; 28)-
Capitoli dello stesso volume (disponibili singolarmente)
-
Informazioni
