Remarks on descriptions and natural deduction. - Richard Montague; Donald Kalish (Arch. Math. Log., 1957)