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