William Tuthill Parry Comments on a Variant Form of Natural Deduction. 119-122 1965 30 J. Symb. Log. 2 db/journals/jsyml/jsyml30.html#Parry65