Symbolic Logic - Irving M capi (Collier Macmillan Publishing Company, 1973)