Kapitel PDF (0,35 Mb)
Nur mit Adobe Acrobat Reader kompatibel (lesen Sie mehr)
Corsi, Giovanni

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

2006 - CLUEB

P. [1-33] [33]

Ist Teil von

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