Recomienda este artículo a tus amigos:
Type Theory and Formal Proof: An Introduction Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands)
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Type Theory and Formal Proof: An Introduction
Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands)
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
490 pages, 35 b/w illus. 125 exercises
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 6 de noviembre de 2014 |
| ISBN13 | 9781107036505 |
| Editores | Cambridge University Press |
| Páginas | 466 |
| Dimensiones | 177 × 254 × 29 mm · 1,03 kg |
| Lengua | Inglés |
