Categorías y Estructuras en la Lógica Matemática
por Saunders Mac Lane · 1971
Sinopsis
Este volumen explora la aplicación de la teoría de categorías a diversas áreas de la lógica matemática, incluyendo la teoría de modelos, la teoría de tipos y la teoría de pruebas, demostrando el poder unificador de los conceptos categóricos.
Sé el primero en valorar este libro.
Más de Saunders Mac Lane
Ver autor →Otras obras del mismo autor en el catálogo
Foundations of Algebra
1967
Algebra
1967
Álgebra y Topología
1967
Categorías para el Matemático Trabajador
1971
Categorías para el matemático en activo
1971
Categories for the Working Mathematician
1971
Categorías para el trabajo matemático
1971
Categorías para el matemático que trabaja
1971
Categorías para el Matemático en Actividad
1971
Categorías para el trabajo del matemático
1971
Categorías para el matemático de trabajo
1971
Categorías y Funtores
1971
Teoría de Categorías para el Trabajador
1971
Categorías para el Trabajador
1971
Categorías: el trabajo con categorías y su aplicación en la teoría de funtores
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda