Representability of recursively enumerable sets in formal theories.
J.C. Shepherdson (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
J.C. Shepherdson (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
G. Kreisel, J. Shoenfield (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
G. Kreisel, S. Feferman (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Rolf Schock (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Joan Rand Moschovakis (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Ribeiro, R. Schwabauer (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Leblanc, R.K. Meyer (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
B. Scarpellini (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Meyer, H. Leblanc, K. Lambert (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
S., Abian, A. LaMacchia (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: