Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Bücher - Birkhauser Verlag AG - 9783031211140 - 3. Januar 2024
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
SFr. 51,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 3. Januar 2024
ISBN13 9783031211140
Verlag Birkhauser Verlag AG
Seitenanzahl 295
Maße 234 × 156 × 20 mm   ·   488 g
Sprache Deutsch