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