Normal view
MARC view
Lógica matemática(Término temático)
Used for/see from:
- Lógica formal
- Lógica simbólica
- Lógica simbólica y matemática
See also:
- Broader heading: Lógica moderna
- Narrower heading: Álgebra de Boole
- Narrower heading: Intuicionismo (Matemáticas)
- Narrower heading: Lógica algebraica
- Narrower heading: Lógica difusa
- Narrower heading: Lógica matemática no clásica
- Narrower heading: Teorema de Gödel
- Narrower heading: Teoría de conjuntos
- Narrower heading: 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
- Matemáticas
- Programación lógica
- Semántica (Filosofía)
- Silogismo
CSIC (Lógica simbólica y matemática)
LCSH (Logic, Symbolic and mathematical)
RAMEAU (Logique symbolique et mathématique)
