Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Książki - Birkhauser Verlag AG - 9783031853517 - 24 kwietnia 2025
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 303,90

Zamówione z odległego magazynu

Przewidywana dostawa 1 - 9 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 24 kwietnia 2025
ISBN13 9783031853517
Wydawcy Birkhauser Verlag AG
Strony 319
Wymiary 161 × 244 × 26 mm   ·   646 g
Język Niemiecki