11 - Logic
1101 Aplicaciones de la lógica
1102 Lógica deductiva
1102.01 Analogía
1102.02 Álgebra de Boole
1102.03 Lógica formal
1102.04 Lenguajes formalizados
1102.05 Sistemas formales
1102.06 Fundamentos de matemáticas
1102.07 Generalización
1102.08 Lógica matemática
1102.09 Lógica modal
1102.10 Teoría de modelos
1102.11 Teoría de pruebas
1102.12 Cálculo proposicional
1102.13 Funciones recursivas
1102.14 Lógica simbólica
1102.15 Teoría de lenguajes formales
1102.99 Otras (especificar)
1103 Lógica general
1104 Lógica inductiva
1104.01 Inducción
1104.02 Intuicionismo
1104.03 Probabilidad
1104.99 Otras (especificar)
1105 Metodología
1105.01 Método científico
1105.99 Otras (especificar)
1199 Otras especialidades relativas a la lógica (especificar)
