Title: Propositional calculus (Monographs in modern logic)