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