Conte aos seus amigos sobre este item:
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ídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 24 de abril de 2025 |
| ISBN13 | 9783031853517 |
| Editoras | Birkhauser Verlag AG |
| Páginas | 319 |
| Dimensões | 161 × 244 × 26 mm · 646 g |
| Idioma | Alemão |
Ver tudo de William M. Farmer ( por exemplo Hardcover Book e Paperback Book )
Presentes de Natal podem ser trocados até 31 de janeiro