Connections between Identifying Functionals, Standardizing Operations, and Computable Numberings


Authored By:R. Freivalds, E. B. Kinber and R. Wiehagen
Paper Title:Connections between Identifying Functionals, Standardizing Operations, and Computable Numberings
In:Zeitschr. f. math. Logik und Grundlagen d. Math.
Vol. 30
Publication Date: 1984
Pages:145-164