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 - 9783031211140 - 3 stycznia 2024
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 2023 edition

Cena
zł 244,90

Zamówione z odległego magazynu

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

Również dostępne jako:

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 3 stycznia 2024
ISBN13 9783031211140
Wydawcy Birkhauser Verlag AG
Strony 295
Wymiary 234 × 156 × 20 mm   ·   488 g
Język Niemiecki