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