On Tarski's Formalization of Predicate Logic with Identity. R. Montague; D. Kalish Archiv für mathematische Logik und Grundlagenforschung
Remarks on descriptions and natural deduction. R. Montague; D. Kalish — 1957 Archiv für mathematische Logik und Grundlagenforschung
Remarks on descriptions and natural deduction. II. R. Montague; D. Kalish — 1957 Archiv für mathematische Logik und Grundlagenforschung