Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Bøker - Birkhauser Verlag AG - 9783031853517 - 24. april 2025
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
€ 68,49

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

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