Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 24 de abril de 2025 |
| ISBN13 | 9783031853517 |
| Editores | Birkhauser Verlag AG |
| Páginas | 319 |
| Dimensiones | 161 × 244 × 26 mm · 646 g |
| Lengua | Alemán |
Ver todo de William M. Farmer ( Ej. Hardcover Book y Paperback Book )
Los regalos de Navidad se podrán canjear hasta el 31 de enero