Stoltenberg-hansen, V.
-
MATHEMATICA SCANDINAVICA Vol. 46 (1980) - Articles
Finite alogorithmic procedures and inductive definability.
Details PDF -
MATHEMATICA SCANDINAVICA Vol. 46 (1980) - Articles
Finite alogorithmic procedures and computation theories.
Details PDF