Symbolic logic an introduction - Thomason, Richmond H. (Macmillan, 1970)