Recomienda este artículo a tus amigos:
History and Philosophy of Constructive Type Theory - Synthese Library Giovanni Sommaruga 2000 edition
History and Philosophy of Constructive Type Theory - Synthese Library
Giovanni Sommaruga
A comprehensive survey of Martin-Loef's constructive type theory, considerable parts of which have only been presented by Martin-Loef in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.
367 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de julio de 2000 |
| ISBN13 | 9780792361800 |
| Editores | Springer |
| Páginas | 367 |
| Dimensiones | 165 × 240 × 28 mm · 734 g |
| Lengua | Inglés |
Mas por Giovanni Sommaruga
Mostrar todoMere med samme udgiver
Ver todo de Giovanni Sommaruga ( Ej. Hardcover Book y Paperback Book )