Fortell venner om denne varen:
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic William M. Farmer Second Edition 2025 edition
Pris
NOK 809
Bestillingsvarer
Forventes levert 30. des - 7. jan 2026
Julegaver kan byttes frem til 31. januar
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
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 | 161 × 244 × 26 mm · 646 g |
| Språk | Tysk |
Se alt med William M. Farmer ( f.eks. Innbunden bok og Pocketbok )