2018 - Mondadori Education
Article PDF (0,24 Mb)
Pris en charge uniquement par Adobe Acrobat Reader (voir détails)
L'interpretazione BHK per la logica intuizionista
P. 244-250
Fait partie de
Archimede : 4, 2018-
Articles du même numéro (disponibles individuellement)
-
Informations
Code DOI : 10.1400/267448
ISSN: 2239-6314
