Vista normal
Vista MARC
- Lógica matemática
Lógica matemática (Término temático)
Usado por/ver desde:
- Lógica formal
- Lógica simbólica
- Lógica simbólica y matemática
Ver además:
- Encabezamiento genérico: Lógica moderna
- Encabezamiento específico: Álgebra de Boole
- Encabezamiento específico: Intuicionismo (Matemáticas)
- Encabezamiento específico: Lógica algebraica
- Encabezamiento específico: Lógica difusa
- Encabezamiento específico: Lógica matemática no clásica
- Encabezamiento específico: Teorema de Gödel
- Encabezamiento específico: Teoría de conjuntos
- Encabezamiento específico: Teoría de modelos
- Álgebra abstracta
- Análisis combinatorio
- Autómatas matemáticos
- Axiomas
- Cálculo de predicados
- Categorías (Matemáticas)
- Funciones (Matemáticas)
- Lenguajes formales
- Programación lógica
- Silogismo
- Matemáticas
- Semántica (Filosofía)
LCSH (Logic, Symbolic and mathematical)
CSIC (Lógica simbólica y matemática)
RAMEAU (Logique symbolique et mathématique)