TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Introduction to metamathematics
PY  - 1952///
CY  - New York: 
PB  - D. Van Nostrand, 
KW  - LOGICA MATEMATICA
KW  - LOGICA FORMAL
KW  - MATEMATICA COMPUTACIONAL
KW  - CONJUNTOS (MATEMATICA)
KW  - CALCULO PROPOSICIONAL
KW  - INIS
KW  - FUNCIONES RECURSIVAS
KW  - RECURSIVIDAD
ER  -