Introduction to Mathematical Logic
Martin D. Davis
Ambos libros son escritos por el mismo autor y abordan la fundamentación de la lógica matemática con rigor técnico y claridad pedagógica.
Más de Martin D. Davis
Ver autor →Otras obras del mismo autor en el catálogo
Máquinas de Turing y funciones recursivas
1958
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
1994
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
1994
The Logical Structure of Mathematical Reasoning
1994
Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science
1994
Beyond the Classroom: Transforming Mathematics Education
The Art of Problem Solving
A Journey through Mathematics
Exploring Mathematics through Literature
Mathematics and the Imagination
Mathematical Thinking
Mathematics for Teachers
Mathematical Concepts and Applications
Mathematical Literacy in the 21st Century
Teaching Mathematics with Technology
Libros similares
Libros relacionados según distintos criterios de búsqueda
La estructura lógica y el enfoque analítico de ambos textos permiten una profunda comprensión del razonamiento matemático, aunque con enfoques complementarios.