Mathematical logic - Quine, Willard Van Orman (Harper Torchbooks. The Science Library, 1962)