Este libro también introduce conceptos fundamentales de lógica matemática y teoría de conjuntos, manteniendo un enfoque accesible similar al del libro de Kleene.
Mathematical Logic: A First Course
por Stephen Kleene · 1971
Ver sugerenciasSinopsis
Este libro introduce los conceptos fundamentales de la lógica matemática, incluyendo la teoría de conjuntos, los sistemas formales y la teoría de modelos, creando una base para estudios más avanzados en matemáticas y filosofía.
Sé el primero en valorar este libro.
Más de Stephen Kleene
Ver autor →Otras obras del mismo autor en el catálogo
Lógica y fundamentos matemáticos
1952
Elements of Mathematical Logic
1952
Computability and Logic
1952
Introducción al análisis infitesimal
1952
La Noción de Lógica Matemática
1952
Mathematical Logic
1952
Introducción a la metamatemática
1952
Elements of Recursive Function Theory
1963
Mathematical Theory of Automata
1964
Theory of Recursive Functions and Effective Computability
1967
Automata, Languages, and Machines
1971
Finite Models and Finite Structures
1976
Realizability
1980
Computer Science: The Hardware and Software
1984
Logic, Algebra, and Computability
1986
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que el de Kleene, esta obra abarca la teoría de modelos y establece una base rigurosa en lógica, ampliando su aplicación en matemáticas.