2018 - Mondadori Education
Article PDF (0.24 Mb)
Compatible only with Adobe Acrobat Reader (read more)
L'interpretazione BHK per la logica intuizionista
P. 244-250
Is part of
Archimede : 4, 2018-
Articles from the same issue (available individually)
-
Information
DOI: 10.1400/267448
ISSN: 2239-6314