![]() ![]() |
Título: Introduction To Higher Order Categorical Logic | |
Autor: Lambek, J. Y P. J. Scott | Precio: $480.00 | |
Editorial: Cambridge University Press | Año: 1999 | |
Tema: Matematicas | Edición: 1ª | |
Sinopsis | ISBN: 0521356539 | |
In this book the authors reconcile two different viewpoints of the foundations of mathematical logic and category theory. |