Logic : a comprehensive introduction / - Guttenplan, Samuel D. (Basic Books,, 1971)