Recursos en línea
Vista normal
Vista MARC
Lógica simbólica y matemática (Temas 650)
Usado por/ver desde:
- Logic, Symbolic and mathematical
- Algebra de la lógica
- Lógica universal
- Lógica matemática
- Lógica matemática y simbólica
- Lógica simbólica
Ver además:
- Encabezamiento genérico: Matemáticas
- Álgebra abstracta
- Metamatemáticas
- Silogismo
- Encabezamiento específico: Lógica algebraica
- Encabezamiento específico: Teoría axiomática de conjuntos
- Encabezamiento específico: Categorías (Matemáticas)
- Encabezamiento específico: Calculo de predicados
- Encabezamiento específico: Lógica combinatoria
- Encabezamiento específico: Teorema de completud
- Encabezamiento específico: Matemáticas constructivas
- Encabezamiento específico: Lógica de primer orden
- Encabezamiento específico: Números de Godel
- Encabezamiento específico: Teorema de Godel
- Encabezamiento específico: Independencia (Matemáticas)
- Encabezamiento específico: Lenguajes infinitos
- Encabezamiento específico: Cálculo Lambda
- Encabezamiento específico: Ordenamientos lineales
- Encabezamiento específico: Conjuntos admisibles
- Encabezamiento específico: Máquinas lógicas
- Encabezamiento específico: Teoría de las máquinas
- Encabezamiento específico: Teoría de modelos
- Encabezamiento específico: Lógica matemática no clásica
- Encabezamiento específico: Pragmática
- Encabezamiento específico: Teoría de pruebas
- Encabezamiento específico: Cálculo proposicional
- Encabezamiento específico: Semántica (Filosofía)
- Encabezamiento específico: Lógica computacional
- Encabezamiento específico: Lógica cuántica
COLMEX, 23 agosto 2000: catálogo electrónico (Lógica simbólica y matemática)
Biblioteca del Congreso (Estados Unidos), 06 febrero 2009: catálogo electrónico (Logic, Symbolic and mathematical)
