E-Book (pdf) Simple Type Theory von William M. Farmer
CHF 85.85 88.50
Download steht sofort bereit
Titel
Simple Type Theory
Untertitel
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Autor
William M. Farmer
EAN
9783031853524
Format
E-Book (pdf)
Hersteller
Springer Nature Switzerland
Genre
IT & Internet
Veröffentlichung
23.04.2025
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
6.27 MB
Anzahl Seiten
319