Richard Montague Leon Henkin On the Definition of 'Formal Deduction'. 129-136 1956 21 J. Symb. Log. 2 db/journals/jsyml/jsyml21.html#MontagueH56