Mathematical logic. Quine, W. V. (Willard Van Orman) Logic, Symbolic and mathematical. BC135 .Q48 1951 164 QUM Includes index. Cambridge, Harvard University Press, 1951. 1951. 1951 Text 346 p. eng