
Fortell venner om denne varen:
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic Second Edition 2025 edition
William M. Farmer
Pris
zł 291,90
Bestillingsvarer
Forventes levert 4. - 14. jul
Legg til iMusic ønskeliste
Eller
Finnes også som:
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic Second Edition 2025 edition
William M. Farmer
Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
Utgitt | 24. april 2025 |
ISBN13 | 9783031853517 |
Utgivere | Birkhauser Verlag AG |
Antall sider | 319 |
Mål | 666 g |
Språk | Tysk |
Se alt med William M. Farmer ( f.eks. Innbunden bok og Pocketbok )