Title: Propositional Calculus (Monographs in Modern Logic)