2006 - CLUEB
Chapitre PDF (0,35 Mb)
Pris en charge uniquement par Adobe Acrobat Reader (voir détails)
Metodo di decisione per la logica intuizionista e la logica di Jankov
P. [1-33] [33]
Fait partie de
Logica, scienza, linguaggio. - ( Preprint ; 28)-
Chapitres du même volume (disponibles individuellement)
-
Informations