FUNCIONES RECURSIVASINSOLUBILIDAD (LOGICA MATEMATICA)TEORIA DE LAS MAQUINASDECISION (LOGICA MATEMATICA)LOGICA MATEMATICAALGORITMOSFUNDAMENTOS DE ARITMETICACALCULO NUMERICOTEORIA DE RECURSIONTEORÍA DE LOS NÚMEROS