Recursos en línea
Resultados de búsqueda de autoridad
Resultados 1 a 2 de 2
| Encabezamientos autorizados | Tipo de encabezamiento | Registros | ||
|---|---|---|---|---|
|
Temas 650:
Usado por:
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:
Matemáticas
(Encabezamiento genérico)
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
(encabezamiento específico)
|
Detalle | Temas 650 | 4 registros | |
| Temas 650: | Detalle | Temas 650 | 1 registro |
