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 2023 edition
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic
William M. Farmer
295 pages, 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 3 de enero de 2024 |
| ISBN13 | 9783031211140 |
| Editores | Birkhauser Verlag AG |
| Páginas | 295 |
| Dimensiones | 234 × 156 × 20 mm · 488 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