Lógica simbólica y matemáticaÁlgebras cilíndricasNúmeros cardinalesÁlgebras poliádicasProbabilidadesLógica de primer ordenProgramas y sistemas de programación - ExactitudRazonamientoMatemáticasSemántica (Filosofía)Conjuntos, Teoría deSilogismoAutómatas matemáticos, Teoría deTipos, Teoría deBoole, Álgebra deÁlgebra abstractaCálculo de predicadosCálculo lambdaCálculo proposicionalCategorías (Matemáticas)Ciencias - MetodologíaCompletitud, Teorema deConjuntos admisiblesConjuntos, Teoría axiomática deDecidibilidad (Lógica matemática)Definibilidad, Teoría de la (Lógica matemática)Demostración, Teoría de laFunciones de verdadFunciones recursivasGödel, Teorema deIndependencia (Matemáticas)Lenguajes infinitariosLógica algebráicaLógica combinatoriaLógica de umbralLógica matemática no clásicaPragmáticaMáquinas lógicasMatemáticas constructivasMetamatemáticaModelos, Teoría deÁrea 01. Matemáticas generalesÁrea 2. Representación del conocimiento y lógicaLógica matemáticaLógica universalSimbólica <p>CDU: 164<br />CDU: 510.6</p>