Chapter PDF (0.35 Mb)
Compatible only with Adobe Acrobat Reader - free software - (find out how to open the files)
Corsi, Giovanni

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

2006 - CLUEB

P. [1-33] [33]

Is part of

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