R. M. Martin A Homogeneous System for Formal Logic. 1-23 1943 8 J. Symb. Log. 1 db/journals/jsyml/jsyml8.html#Martin43