Ambos libros abordan la relación entre lógica y deducción, explorando cómo se justifica la inferencia dentro de un marco lógico riguroso.
The Justification of Deduction
por George S. Boolos · 1993
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de George S. Boolos
Ver autor →Otras obras del mismo autor en el catálogo
Computabilidad y Lógica
1974
Computability and Logic
1974
Computability and Logic
1974
Teoría de la Computabilidad y Lógica Matemática
1974
The Unprovability of Consistency of Peano Arithmetic
1975
Inheritance and the Theory of Concepts
1980
Mathematical Logic
1987
On Second-Order Quantification
1989
Liar: A Loupe on Truth
1990
The Status of Logic
1992
The Logic of Provability
1993
Theories of Truth
1996
Logic, Logic, and Logic
1998
A New Perspective on Gödel's Incompleteness Theorem
1998
The Philosophy of Mathematics
2002
Libros similares
Libros relacionados según distintos criterios de búsqueda
Tanto en este libro como en 'Mathematical Logic', Boolos desarrolla ideas sobre los fundamentos lógicos que sustentan la matemáticas, manteniendo un tono académico profundo.