Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Kirjat - Birkhauser Verlag AG - 9783031853517 - torstai 24. huhtikuuta 2025
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
DKK 561,44

Tilattu etävarastosta

Arvioitu toimitus pe - ma 4. - 14. heinä
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic Second Edition 2025 edition

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 24. huhtikuuta 2025
ISBN13 9783031853517
Tuottaja Birkhauser Verlag AG
Sivujen määrä 319
Mitta 666 g
Kieli German