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