ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)
-
BTFUNDAMENTAL AND GENERAL CONSIDERATIONS OF MATHEMATICS
-
UDC510.5
-
Descriptor GERALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK)
-
Descriptor ENGALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)
-
Descriptor FREALGORITHMES ET FONCTIONS CALCULABLES (MATHÉMATIQUES)
-
Variant GERFUNKTIONEN/ALGORITHMEN UND BERECHENBARE FUNKTIONEN (MATHEMATIK)
-
Variant GERBERECHENBARE FUNKTIONEN UND ALGORITHMEN (MATHEMATIK)
-
Variant GERBERECHENBARKEIT (MATHEMATIK)
-
Variant ENGFUNCTIONS/ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)
-
Variant ENGCOMPUTABLE FUNCTIONS AND ALGORITHMS (MATHEMATICS)
-
Variant ENGCOMPUTABILITY (MATHEMATICS)
-
Variant FREFONCTIONS/ALGORITHMES ET FONCTIONS CALCULABLES (MATHÉMATIQUES)
-
Variant FRECALCULABLE/ALGORITHMES ET FONCTIONS CALCULABLES (MATHÉMATIQUES)
-
Variant FREFONCTIONS CALCULABLES ET ALGORITHMES (MATHÉMATIQUES)
-
Variant FRECALCULABILITÉ (MATHÉMATIQUES)
-
NTALGORITHMIC COMPLEXITY (MATHEMATICS)
-
NTALGORITHMIC SET THEORY (MATHEMATICS)
-
NTALGORITHMIC PROBLEMS (MATHEMATICS)
-
NTGENERAL CONSIDERATIONS OF THE THEORY OF ALGORITHMS (MATHEMATICS)
-
NTGENERAL THEORY OF CALCULI (MATHEMATICS)
-
NTCHURCH-ROSSER THEOREM (MATHEMATICS)
-
NTCOMBINATORY LOGIC (MATHEMATICS)
-
NTLAMBDA-CALCULUS (MATHEMATICAL LOGIC)
-
NTLAMBEK CALCULUS (MATHEMATICAL LOGIC)
-
NTPI-CALCULUS (MATHEMATICS)
-
NTRECURSION THEORY (MATHEMATICS)
-
RTTURING MACHINES (UNIVERSAL MACHINES)