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 - 9783031211140 - 3. januar 2024
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 2023 edition

William M. Farmer

Pris
NOK 639

Bestillingsvarer

Forventes levert 4. - 14. jul

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
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 2023 edition

295 pages, 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus.

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 3. januar 2024
ISBN13 9783031211140
Utgivere Birkhauser Verlag AG
Antall sider 295
Mål 234 × 156 × 20 mm   ·   488 g
Språk Tysk  

Se alt med William M. Farmer ( f.eks. Innbunden bok og Pocketbok )