Theorems on Completeness and Consistency
por Kurt Gödel · 1955
Sinopsis
Sé el primero en valorar este libro.
Más de Kurt Gödel
Ver autor →Otras obras del mismo autor en el catálogo
Über formal unentscheidbare Sätze der Principia Math. und verwandter Systeme I
1931
Die Vollständigkeit der Axiome des intuitionistischen Zahlenkreises
1933
Zum intuitionistischen Aussagenkalkül
1933
Consistenz der Axiome des Zermelo und der Hilbertschen Axiome
1938
On Undecidable Propositions, A Symmetrical Treatment of the Concepts of 'Truth' and 'Provability'
1940
sin portada
What is Cantor's Continuum Problem?
1947
The Consistency of the Axioms of Set Theory
1958
A Remark about the Purpose of Proofs
1959
The Dialectica of propositions
1964
sin portada
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
1980
sin portada
Collected Works
1986
Lógica y fundamentos: Trabajos seleccionados de Kurt Gödel
1986
sin portada
An Interpretation of the Axioms of Set Theory
1990
Gödel: The Incompleteness Theorems
1996
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.