Kapitel PDF (0,35 Mb)
Nur mit Adobe Acrobat Reader kompatibel - kostenlose Software - (erfahren Sie, wie Sie die Dokumente öffnen)
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)