Computability and Logic
por George S. Boolos · 1994
Sinopsis
Este libro explora la intersección entre la computabilidad y la lógica, presentando temas fundamentales en teoría de conjuntos y fundamentos de la matemática, así como sus implicaciones filosóficas.
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
The Unprovability of Consistency of Peano Arithmetic
1975
sin portada
Inheritance and the Theory of Concepts
1980
sin portada
Mathematical Logic
1987
sin portada
On Second-Order Quantification
1989
Liar: A Loupe on Truth
1990
The Status of Logic
1992
The Justification of Deduction
1993
The Logic of Provability
1993
Theories of Truth
1996
A New Perspective on Gödel's Incompleteness Theorem
1998
Logic, Logic, and Logic
1998
sin portada
The Philosophy of Mathematics
2002
sin portada
The Road to Reality
2004
Truth and Proof: The Plantinga-Carnap Correspondence
2005
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.