
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.
Otras obras del mismo autor en el catálogo

1967

1967

1967

1971

1971

1971

1971

1971

1971

1971

1971

1971

1971

1971

1971
Libros relacionados según distintos criterios de búsqueda