Introduction to metamathematics
Kleene, Stephen Cole
Introduction to metamathematics - New York: D. Van Nostrand, 1952. - x, 550 p. - The University series in higher mathematics . - The University series in higher mathematics .
LOGICA MATEMATICA
LOGICA FORMAL
MATEMATICA COMPUTACIONAL
MATEMATICA COMPUTACIONAL
CONJUNTOS (MATEMATICA)
CALCULO PROPOSICIONAL
FUNCIONES RECURSIVAS
RECURSIVIDAD
510.6
Introduction to metamathematics - New York: D. Van Nostrand, 1952. - x, 550 p. - The University series in higher mathematics . - The University series in higher mathematics .
LOGICA MATEMATICA
LOGICA FORMAL
MATEMATICA COMPUTACIONAL
MATEMATICA COMPUTACIONAL
CONJUNTOS (MATEMATICA)
CALCULO PROPOSICIONAL
FUNCIONES RECURSIVAS
RECURSIVIDAD
510.6