Relaciones
T.Genérico
T.Relacionado
T.Genérico
Lógica simbólica y matemática
T.Relacionado
Funciones calculables
Funciones recursivas
Gödel, Teorema de
LCSH | Decidability (Mathematical logic) |
Laval: | Décidabilité (Logique maématique) |
CDU 510.63
CDU abreviada 510
Clasificación LC | QA9.65 |