Resultados de búsqueda de autoridad
Mostrando 1 de aproximadamente 1 resultados
Encabezamientos autorizados | Tipo de encabezamiento | Registros bibliográficos | |
---|---|---|---|
Término de materia:
Usado por:
Lógica formal
Lógica matemática
ver además:
Ciencia Metodología
(Encabezamiento específico)
Teorema de completud
(Encabezamiento específico)
Modelos, Teoría de
(Encabezamiento específico)
Gödel, Teorema de
(Encabezamiento específico)
Cálculo lambda
(Encabezamiento específico)
Cálculo de predicados
(Encabezamiento específico)
Conmutación, Teoría de
(Encabezamiento específico)
Matemáticas constructivas
(Encabezamiento específico)
Prueba, Teoría de la
(Encabezamiento específico)
Matemáticas
(Encabezamiento genérico)
Lógica difusa
(Encabezamiento específico)
Lógica de umbral
(Encabezamiento específico)
Lógica algebraica
(Encabezamiento específico)
Categorías (Matemáticas)
(Encabezamiento específico)
|
Detalle | Término de materia | 196 registros |