2006 - CLUEB
Chapter PDF (0.35 Mb)
Compatible only with Adobe Acrobat Reader (read more)
Metodo di decisione per la logica intuizionista e la logica di Jankov
P. [1-33] [33]
-
Chapters from the same volume (available individually)
-
Information