Vista normal
Vista MARC
- Lógica simbólica y matemática
Lógica simbólica y matemática (Materias-Términos)
Usado por/ver desde:
- Algebra de la lógica
- Lógica matemática
- Lógica universal
- Lógica simbólica
- Logic, Symbolic and mathematical
Ver además:
- Encabezamiento genérico: Matemáticas
- Metamatemáticas
- Encabezamiento específico: Ciencia Metodología
- Algebra abstracta
- Conjuntos, Teoría de
- Teoría de conjuntos
- Silogismo
- Encabezamiento específico: Cálculo de predicados
- Encabezamiento específico: Cálculo lambda
- Encabezamiento específico: Cálculo proposicional
- Encabezamiento específico: Categorías (Matemáticas)
- Encabezamiento específico: Conjuntos admisibles
- Encabezamiento específico: Cuasivariedades (Álgebra universal)
- Encabezamiento específico: Decidabilidad (Lógica matemática)
- Encabezamiento específico: Funciones recursivas
- Encabezamiento específico: Lenguajes infinitarios
- Encabezamiento específico: Lógica algebraica
- Encabezamiento específico: Lógica combinatoria
- Encabezamiento específico: Lógica computacional
- Encabezamiento específico: Lógica de Hoare
- Encabezamiento específico: Lógica de matriz
- Encabezamiento específico: Lógica de primer orden
- Encabezamiento específico: Lógica de umbral
- Encabezamiento específico: Lógica difusa
- Encabezamiento específico: Lógica matemática no clásica
- Encabezamiento específico: Independencia (Matemáticas)
- Encabezamiento específico: Isomorfismo de Curry-Howard
- Encabezamiento específico: Máquinas lógicas
- Encabezamiento específico: Matemáticas inversas
- Encabezamiento específico: Números de Godel
- Encabezamiento específico: Ordenamiento lineal
- Encabezamiento específico: Pragmática
- Encabezamiento específico: Matemáticas constructivas
- Encabezamiento específico: Máquinas, Teoría de las
- Encabezamiento específico: Programas de computadora Corrección
- Encabezamiento específico: Recursividad, Teoría de la
- Encabezamiento específico: Semántica (Filosofía)
- Encabezamiento específico: Tablas de verdad
- Encabezamiento específico: Teorema de completud
- Encabezamiento específico: Teorema de Godel
- Encabezamiento específico: Teoría axiomática de conjuntos
- Encabezamiento específico: Teoría de la conmutación
- Encabezamiento específico: Teoría de la definibilidad (Lógica matemática)
- Encabezamiento específico: Teoría de la demostración
- Encabezamiento específico: Teoría de las máquinas
- Encabezamiento específico: Teoría de modelos
- Encabezamiento específico: Teoría de recursión
- Encabezamiento específico: Teoría de tipos
Biblioteca del Congreso (Estados Unidos), 4 octubre 2022: catálogo electrónico (Logic, Symbolic and mathematical)
DGB/UNAM, 4 octubre 2022: catálogo electrónico (Lógica simbólica y matemática)