Recursos en línea
Normal view
MARC view
Lógica simbólica y matemática (Temas 650)
Used for/see from:
- 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
See also:
- Broader heading: Matemáticas
- Álgebra abstracta
- Metamatemáticas
- Silogismo
- Narrower heading: Lógica algebraica
- Narrower heading: Teoría axiomática de conjuntos
- Narrower heading: Categorías (Matemáticas)
- Narrower heading: Calculo de predicados
- Narrower heading: Lógica combinatoria
- Narrower heading: Teorema de completud
- Narrower heading: Matemáticas constructivas
- Narrower heading: Lógica de primer orden
- Narrower heading: Números de Godel
- Narrower heading: Teorema de Godel
- Narrower heading: Independencia (Matemáticas)
- Narrower heading: Lenguajes infinitos
- Narrower heading: Cálculo Lambda
- Narrower heading: Ordenamientos lineales
- Narrower heading: Conjuntos admisibles
- Narrower heading: Máquinas lógicas
- Narrower heading: Teoría de las máquinas
- Narrower heading: Teoría de modelos
- Narrower heading: Lógica matemática no clásica
- Narrower heading: Pragmática
- Narrower heading: Teoría de pruebas
- Narrower heading: Cálculo proposicional
- Narrower heading: Semántica (Filosofía)
- Narrower heading: Lógica computacional
- Narrower heading: 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)
