 |
| Nueva búsqueda |
| Lógica matemática | |||
Usado por: | Lógica formal | ||
| Lógica simbólica | |||
| Lógica simbólica y matemática | |||
Término genérico: | Lógica moderna | ||
Término específico: | Álgebra de Boole | ||
| Intuicionismo (Matemáticas) | |||
| Lógica algebraica | |||
| Lógica difusa | |||
| Lógica matemática no clásica | |||
| Teorema de Gödel | |||
| Teoría de conjuntos | |||
| Teoría de modelos | |||
Término relacionado: | Álgebra abstracta | ||
| Análisis combinatorio | |||
| Autómatas matemáticos | |||
| Axiomas | |||
| Cálculo de predicados | |||
| Categorías (Matemáticas) | |||
| Funciones (Matemáticas) | |||
| Lenguajes formales | |||
| Matemáticas | |||
| Programación lógica | |||
| Semántica (Filosofía) | |||
| Silogismo | |||
| Fuentes: | CSIC; (Lógica simbólica y matemática) | ||
| LCSH; (Logic, Symbolic and mathematical) | |||
| RAMEAU; (Logique symbolique et mathématique) | |||
| Otro identificador normalizado: | http://id.loc.gov/authorities/subjects/sh85078115 lcsh | ||
| http://lemac.sgcb.mcu.es/Autoridades/LEMAC201220828/concept lemac | |||
| http://lemag.sgcb.mcu.es/Autoridades/LEMAG201302627/concept lemag | |||
| http://lemav.sgcb.mcu.es/Autoridades/LEMAV2015006268/concept lemav | |||
| http://purl.org/bncf/tid/723 nsbncf | |||
| http://purl.org/bncf/tid/7927 nsbncf | |||
Registro en datos.bne.es: | http://datos.bne.es/resource/XX525820 | ||
Nº Registro: | XX525820 | ||
Obras | |||