Mathematical logic - Quine, Willard Van Orman (Harper Torchbooks, 1951)