Anmerkungen zum Rekursionstheorem.
Klemens Döpp (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Klemens Döpp (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A. Ehrenfeucht, S. Feferman (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
J.C. Shepherdson (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Günter Baigger (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
John N. Crossley, P.H.G. Aczel (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
L. Gordeev (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Antonino Drago (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
G. Kreisel, S. Feferman (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Peter H.G. Aczel (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
B. Scarpellini (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Salvatore Caporaso (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Andrea Cantini (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: