Semi-effective numberings and definitions of the computable numbers.
B.H. Mayoh (1967)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
B.H. Mayoh (1967)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hidehisa Sakai (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Horst Müller (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Halldor Gudjónsson (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
D.W.H. Gillam (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
N. Georgieva (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Charles G. Morgan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: