Capítulo PDF (0,35 Mb)
Compatible solo con Adobe Acrobat Reader (leer más)

Metodo di decisione per la logica intuizionista e la logica di Jankov

2006 - CLUEB

P. [1-33] [33]

Forma parte de

Logica, scienza, linguaggio. - ( Preprint ; 28)