Lógica simbólica y operativa
Materias relacionadas
- Condicionales (lógica)
- Cálculo de predicados
- Cálculo lambda
- Cálculo proposicional
- Decidabilidad (lógica simbólica y matemática)
- Demostración, teoría de la
- Forzamiento (teoría de modelos)
- Godel, teorema de
- Inducción (matemáticas)
- Irresolubilidad (lógica matemática)
- Lógica algebraica
- Lógica combinatoria
- Lógica difusa
- Lógica matemática no-clásica
- Lógica multivalente
- Lógica simbólica y matemática
- Metamatemáticas
- Modalidad (lógica)
- Modelos, teoría de
- Tipos, teoría de