Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Autor principal: | Mostowski, Andrzej (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam :
North-Holland Pub. Co.,
1964.
|
Materias: |
Ejemplares similares
-
Undecidable theories /
por: Tarski, Alfred, et al.
Publicado: (1953) -
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
por: Davis, Martin 1928-
Publicado: (1965) -
Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 /
por: Mostowski, Andrzej, et al.
Publicado: (1966) -
A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
por: Bouvere, Karel Louis de, et al.
Publicado: (1959) -
La prueba de Gödel /
por: Newman, James Roy 1907-, et al.
Publicado: (1959)