TY  - BOOK
AU  - Murawski,Roman
TI  - Recursive functions and metamathematics: problems of completeness and decidability, godel's theorems 
T2  - Synthese library
SN  - 0792359046 (papel libre de acido)
AV  - QA9.615 M8713
PY  - 1999///
CY  - Dordrecht
PB  - Kluwer Academic
KW  - Funciones recursivas
KW  - Decidabilidad (Lógica matemática)
KW  - Teorema de Gödel
ER  -