New methods in simbolic logic - Gerald B Standley (Houghton Mifflin, 1971)