Functorial bounds for cut elimination in L... .I.
Marie-Christine Ferbus (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Marie-Christine Ferbus (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jon Barwise (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Alfred Tarski (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R.H. Cowen (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Y. Bar-Hillel (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M. Krynicki, J. Väänänen (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Hindley, G. Mitschke (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Rolf Schock (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Haskell B. Curry (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Ribeiro, R. Schwabauer (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: