Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Auteur :
Farmer, William M.
Éditeur :
Birkhauser Verlag AG
ISBN :
9783031853517
Date de publication :
24 avr. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse