LOGICA MATEMATICAALGEBRA BOOLEANACALCULO DE LAMBDACALCULO PROPOSICIONALCASUALIDADCATEGORIAS (MATEMATICAS)DECISION (LOGICA MATEMATICA)FUNCIONES RECURSIVASLOGICA ALGEBRAICALÒGICA COMBINATORIALÒGICA COMPUTACIONALLOGICA DE PRIMER ORDENLOGICA DE UMBRALMÀQUINAS LÒGICASMATEMATICAS CONSTRUCTIVASPROBABILIDADESRAZONAMIENTOSEMANTICA (FILOSOFIA)SILOGISMOTEOREMA DE GODELTEORIA AXIOMATICA DE CONJUNTOSTEORIA DE LA CONMUTACIONTEORIA DE LAS MAQUINASTEORÍA DE CONJUNTOS (MATEMÁTICAS)ALGEBRA ABSTRACTAMETAMATEMATICASSILOGISMOMATEMATICASPROBABILIDADESCALCULO DE PREDICADOSLogística