Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Bøger - Birkhauser Verlag AG - 9783031211140 - 3. januar 2024
Ved uoverensstemmelse mellem cover og titel gælder titel

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
A$ 123,11

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 10. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Findes 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.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 3. januar 2024
ISBN13 9783031211140
Forlag Birkhauser Verlag AG
Antal sider 295
Mål 234 × 156 × 20 mm   ·   488 g
Sprog Tysk  

Se alt med William M. Farmer ( f.eks. Hardcover bog og Paperback Bog )