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 Second Edition 2025 edition
William M. Farmer
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic Second Edition 2025 edition
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 | 666 g |
Idioma | German |
Ver tudo de William M. Farmer ( por exemplo Hardcover Book e Paperback Book )