Povej prijatelju o tem izdelku:
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
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 24. aprila 2025 |
| ISBN13 | 9783031853517 |
| Založniki | Birkhauser Verlag AG |
| Strani | 319 |
| Dimenzije | 161 × 244 × 26 mm · 646 g |
| Jezik | Nemščina |
Božična darila lahko vrnete do 31. januarja