Powiedz znajomym o tym przedmiocie:
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic William M. Farmer 2023 edition
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic
William M. Farmer
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 |
Zobacz wszystko od William M. Farmer ( np. Hardcover Book i Paperback Book )
Świąteczne prezenty można zwracać do 31 stycznia