Predicate calculus of arbitrarily high finite order.
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Dov M. Gabbay (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Alfred Tarski (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
G. Kreisel, S. Feferman (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Hindley, G. Mitschke (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jon Barwise (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Leblanc, R.K. Meyer (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Roman Suszko (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Ribeiro, R. Schwabauer (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Rolf Schock (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: