The Undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
Edited by Martin Davis
- New York: Dover Publications 1965
- 413 p.
Incluye bibliografía al final de cada capítulo e índex p. 434
0486432289
TEOREMA DE GEDEL
INSOLUBILIDAD (LOGICA MATEMATICA)
FUNCIONES RECURSIVAS
MAQUINA DE TURING
511.3 / U533
Incluye bibliografía al final de cada capítulo e índex p. 434
0486432289
TEOREMA DE GEDEL
INSOLUBILIDAD (LOGICA MATEMATICA)
FUNCIONES RECURSIVAS
MAQUINA DE TURING
511.3 / U533
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.