Normal view
MARC view
- Lógica simbólica y matemática
Lógica simbólica y matemática (Topical Term)
Used for/see from:
- Lógica formal
- Lógica matemática
See also:
- Narrower heading: Categorías (Matemáticas)
- Narrower heading: Cálculo de predicados
- Narrower heading: Cálculo lambda
- Narrower heading: Cálculo proposicional
- Narrower heading: Conjuntos admisibles
- Narrower heading: Conmutación, Teoría de
- Narrower heading: Decidabilidad (Lógica matemática)
- Narrower heading: Definibilidad, Teoría de la (Lógica matemática)
- Narrower heading: Gödel, Teorema de
- Narrower heading: Independencia (Matemáticas)
- Narrower heading: Lenguajes infinitos
- Narrower heading: Lógica algebraica
- Narrower heading: Lógica combinatoria
- Narrower heading: Lógica de umbral
- Narrower heading: Lógica matemática no clásica
- Metamatemáticas
- Narrower heading: Teorema de completud
- Narrower heading: Recursividad, Teoría de la
- Narrower heading: Máquinas lógicas
- Narrower heading: Ciencia Metodología
- Narrower heading: Matemáticas constructivas
- Narrower heading: Modelos, Teoría de
- Narrower heading: Lógica difusa
- Broader heading: Matemáticas
- Algebra abstracta
- Conjuntos, Teoría de
- Silogismo
- Narrower heading: Prueba, Teoría de la
LCSH Logic, Symbolic and mathematical