Propositional calculus - Nidditch, P.H. (New York The Free Press Of Glencoe, 1962)
Keywords: Logic, Symbolic And Mathematical