Propositional calculus - Nidditch, P. H. (Monographys in modern logic, 1962)