Introduction to metamathematics - Kleene, Stephen Cole (New York: D. Van Nostrand, 1952)
Keywords: LOGICA MATEMATICA; LOGICA FORMAL; MATEMATICA COMPUTACIONAL; MATEMATICA COMPUTACIONAL; CONJUNTOS (MATEMATICA); CALCULO PROPOSICIONAL; FUNCIONES RECURSIVAS; RECURSIVIDAD