Relaciones
T.Genérico
T.Específico
T.Relacionado
T.Rechazado
Recursiñon, Teoría de la
T.Genérico
Algoritmos
Aritmética - Fundamentos
Lógica simbólica y matemática
Números, Teoría de
Recursión, Teoría de la
T.Específico
Autómatas matemáticos, Teoría de
Conjuntos admisibles
Definibilidad, Teoría de la (Lógica matemática)
No resolubilidad (Lógica matemática)
T.Relacionado
Decidibilidad (Lógica matemática)
LCSH | Recursive functions |
Laval: | Fonctions récursives |
CDU 510.57
CDU abreviada 510
Clasificación LC | QA9.615 |