Lógica matemática 74 Lógica simbólica y matemática 37 Lógica 16 Matemáticas 15 Programación lógica 15 Teoría de conjuntos 11 Filosofía 7 Filosofía de las matemáticas 7 Inteligencia artificial 7 Lógica simbólica 7 Programación (Computadoras) 6 Prolog (Lenguaje de programación) 6 Estudio y enseñanza 5 Informática 5 Algoritmos 4 Lógica computacional 4 Lógica difusa 4 Matemáticas recreativas 4 Metodología 4 Metodología científica 4 Análisis combinatorio 3 Filosofía de la ciencia 3 Funciones recursivas 3 Geometría 3 Inferencia (Lógica) 3 Lógica algebraica 3 Matemáticos 3 Probabilidades 3 Psicología 3 Razonamiento 3