An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
In case you are considering to adopt this book for courses with over 50 students, please contact tieProducator: SPRINGER PG
Contact
Categorie: Diverse
Subcategorie: Altele
Adresa web: karte.ro