DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Síguenos en:
 |  |  |
(55) 55 54 94 02
Libros relacionados
|
Título: Categorical Logic And Type Theory Vol. 141 | |
| Autor: Jacobs, B. | Precio: $1798.00 | |
| Editorial: Elsevier Saunders | Año: 2001 | |
| Tema: Logica, Matematicas, Teorias | Edición: 1ª | |
| Sinopsis | ISBN: 9780444508539 | |
| This book has its origins in my PhD thesis, written during the years 1988 1991 at the University of Nijmegen, under supervision of Henk Barendregt. | ||
Disponibilidad: Bajo pedido
ó
ó
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019