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

William M. Farmer

Hinta
Ft 24.596

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 2023 edition

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 3. tammikuuta 2024
ISBN13 9783031211140
Tuottaja Birkhauser Verlag AG
Sivujen määrä 295
Mitta 234 × 156 × 20 mm   ·   488 g
Kieli German