Faites connaître cet article à vos amis:
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
| Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
| Validé | 24 avril 2025 |
| ISBN13 | 9783031853517 |
| Éditeurs | Birkhauser Verlag AG |
| Pages | 319 |
| Dimensions | 161 × 244 × 26 mm · 646 g |
| Langue et grammaire | Allemand |
Voir tous les William M. Farmer ( par ex. Hardcover Book et Paperback Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier