The undecidable : basic papers on Undecidable, propositions, unsolvable problems and computable functions.
Guardado en:
Otros Autores: | Davis, Martin, ed. by |
---|---|
Formato: | Libro |
Lenguaje: | Inglés |
Publicado: |
New York :
Raven,
1965.
|
Materias: |
Ejemplares similares
Logic, Semantics, Metamathematics : papers from 1923 to 1938.
por: Tarski, Alfred
Publicado: (1956.)
por: Tarski, Alfred
Publicado: (1956.)
Ejemplares similares
-
On formally undecidable propositions of principia mathematica and related systems.
por: Gödel, Kurt
Publicado: (1992.) -
El teorema de Gödel.
por: Nagel, Ernest
Publicado: (1994.) -
El teorema de Gödel.
por: Nagel, Ernest
Publicado: (c1970.) -
Limitaciones internas de los formalismos.
por: Ladrière, Jean
Publicado: (c1969.) -
Lógica simbólica.
por: Garrido, Manuel
Publicado: (2005.)