1 - Consistency and Faithful Interpretations.
G. Kreisel, S. Feferman (1962/63)
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:
H. Leblanc, R.K. Meyer (1969)
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:
Jon Barwise (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Meyer, H. Leblanc, K. Lambert (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
S., Abian, A. LaMacchia (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Alfred Tarski (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Hindley, G. Mitschke (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: