Propositional calculus - Nidditch, P. H. (New York, Free Press of Glencoe, 1962)
Keywords: Logic, Symbolic and mathematical