2018 - Mondadori Education
Articolo PDF (0,24 Mb)
Consultabile solo con Adobe Acrobat Reader (scopri come)
L'interpretazione BHK per la logica intuizionista
P. 244-250
Fa parte di
Archimede : 4, 2018-
Articoli dello stesso fascicolo (disponibili singolarmente)
-
Informazioni
Codice DOI: 10.1400/267448
ISSN: 2239-6314
