Ambos libros son escritos por Dirk Van Dalen y exploran conceptos fundamentales de la lógica matemática, específicamente la lógica intuicionista como una extensión de la lógica clásica.
Mathematical Logic
por Dirk Van Dalen · 1986
Ver sugerenciasSinopsis
Este libro ofrece una introducción completa a la lógica matemática, abarcando tanto sus fundamentos como sus aplicaciones en matemáticas y filosofía, diseñado para estudiantes y profesionales del área.
Sé el primero en valorar este libro.
Más de Dirk Van Dalen
Ver autor →Otras obras del mismo autor en el catálogo
Categories for the Working Mathematician
1972
Logic and Structure
1980
Foundations of Constructive Mathematics
1985
El Cálculo Lambda y sus Aplicaciones
1987
Proof Theory
1989
Intuitionistic Logic
1991
Mathematical Structures in Computer Science
1991
The Logic of Proofs and Computation
1994
Constructive Mathematics
1995
Intuitionistic Type Theory
1998
Computation and Proof
2000
Logics of Proofs
2002
Formal Methods in Computer Science
2003
The Logical Foundations of Mathematics and Computation
2004
Proof Theory and Formal Methods
2005
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'Mathematical Logic', este libro de Kleene cubre los principios básicos de la lógica matemática, incluyendo teoremas clave que fundamentan su aplicación en matemáticas.