Este libro de Manin profundiza en la lógica matemática, al igual que el texto de referencia, cubriendo temas como teoría de modelos y computabilidad con rigor.
Un Curso Elemental de Lógica Matemática
por Yuri Manin · 1977
Ver sugerenciasSinopsis
Un libro de texto que introduce a la lógica matemática en profundidad, cubriendo desde la lógica proposicional y de predicados hasta la teoría de modelos y la computabilidad. Se distingue por su rigor y la claridad en la exposición de conceptos abstractos.
Sé el primero en valorar este libro.
Más de Yuri Manin
Ver autor →Otras obras del mismo autor en el catálogo
Espacios algebraicos
1968
Introducción a la teoría de números
1968
Elementos de la teoría de las categorías
1970
Theory of Functions of Several Complex Variables
1972
La Semiótica de los Sistemas Matemáticos
1977
Computacion y Lenguaje
1977
Un fragmento de historia: acerca de un número
1980
Lectures on the Theory of Functions of One Complex Variable
1986
Introduction to the Theory of Functions of Complex Variables
1987
El algoritmo del cosmos: De la mecánica celeste al cálculo del infinito
1987
El universo matemático y la creatividad
1989
Introducción a las Curvas Elípticas y Formas Modulares
1989
Algebraic Geometry: I (The Essentials)
1993
Fermat’s Last Theorem
1993
A Course in Mathematical Logic
1997
Libros similares
Libros relacionados según distintos criterios de búsqueda
Smullyan aborda la lógica de primer orden y la incompletitud de Gödel, conectándose con la claridad y profundidad del curso de Manin en lógica matemática.
Novikov introduce la lógica proposicional y de predicados, enfocándose en pruebas y consistencia, similar a la estructura detallada del curso de lógica matemática de Manin.
Halmos ofrece una introducción rigurosa a la lógica matemática, abarcando la teoría de conjuntos y lógica de predicados, alineándose estrechamente con el enfoque del texto de Manin.
El libro de Manin comparte temas de lógica matemática y teoría de conjuntos con esta obra, presentando conceptos fundamentales de manera clara y educativa.
Crossley introduce principios de lógica matemática y teoría de modelos, en sintonía con la metodología rigurosa y las temáticas presentes en el curso de Manin.