A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
Autor principal: | Bouvere, Karel Louis de (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam :
North-Holland Pub. Co.,
1959.
|
Materias: |
Ejemplares similares
-
Extensional Godel functional interpretation : a consistency proof of classical analysis.
por: Luckhardt, Horst, et al.
Publicado: (1964) -
Undecidable theories /
por: Tarski, Alfred, et al.
Publicado: (1953) -
La prueba de Gödel /
por: Newman, James Roy 1907-, et al.
Publicado: (1959) -
La Matemática Godeliana y sus implicaciones filosóficas
por: Korner, Stephan 1913-
Publicado: (1972) -
El teorema de Goedel /
por: Díaz Estévez, Emilio, et al.
Publicado: (1975)