Elementary logic - Quine, W. V. (Willard Van Orman), 1908-2000 (Harper Torchbooks, 1965)