DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Síguenos en:
 |  |  |
(55) 55 54 94 02
Libros relacionados
|
Título: Twenty-Five Years Of Constructive Type Theory | |
| Autor: Sambin, Giovanni/ Smith, Jan | Precio: $1233.00 | |
| Editorial: Oxford University Press | Año: 1998 | |
| Tema: Logica, Matematicas, Textos | Edición: 1ª | |
| Sinopsis | ISBN: 9780198501275 | |
| Per Martin-Lof's work on constructive type theory has had a tremendous impact on logic and mathematics, as well as important applications in computer science and linguistics. This volume celebrates the birth of the subject and provides an invaluable record of current activity. It includes contributions from N. G. de Bruijn, William Tait, and Per Martin-Lof. | ||
Disponibilidad: Bajo pedido
ó
ó
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019