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

95,99 €
Prix de vente belge indicatif
Disponibilité
Print on Demand

Pour commander, veuillez vous connecter à votre compte.