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

Hinta
€ 75,49

Tilattu etävarastosta

Arvioitu toimitus ti - ke 6. - 14. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 161 × 244 × 26 mm   ·   646 g
Kieli Saksa