Vista normal
Vista MARC
Lógica simbólica y matemática (Término de materia)
Usado por/ver desde:
- Lógica formal
- Lógica matemática
Ver además:
- Encabezamiento específico: Ciencia Metodología
- Encabezamiento específico: Teorema de completud
- Encabezamiento específico: Modelos, Teoría de
- Encabezamiento específico: Gödel, Teorema de
- Encabezamiento específico: Cálculo lambda
- Encabezamiento específico: Cálculo de predicados
- Encabezamiento específico: Conmutación, Teoría de
- Encabezamiento específico: Matemáticas constructivas
- Encabezamiento específico: Prueba, Teoría de la
- Silogismo
- Metamatemáticas
- Conjuntos, Teoría de
- Algebra abstracta
- Encabezamiento genérico: Matemáticas
- Encabezamiento específico: Lógica difusa
- Encabezamiento específico: Lógica de umbral
- Encabezamiento específico: Lógica algebraica
- Encabezamiento específico: Categorías (Matemáticas)
CDU : 510.6
CSIC