Predicate calculus of arbitrarily high finite order.
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: