Theodore Hailperin A Set of Axioms for Logic. 1-19 1944 9 J. Symb. Log. 1 db/journals/jsyml/jsyml9.html#Hailperin44