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

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:

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