Normal view
MARC view
- Lógica matemática
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: Boole, Álgebra de
- Narrower heading: Conjuntos, Teoría de
- Narrower heading: Gödel, Teorema de
- 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: Modelos, Teoría de
- Á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)