Completeness of a cut-free calculus with equality and function constants.
Mitio Takano (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Mitio Takano (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
N. Georgieva (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Montague, D. Kalish (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Montague, D. Kalish (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hilary Putnam (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
D.W.H. Gillam (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: