Symbolic Logic : an introduction - Thomason, Richmond H. (The Macmillan Company/Collier Macmillan, 1970)