Mathematical logic.
Quine, W. V.(Willard Van Orman)
Cambridge, Mass., 
1947.
[With a bibliography.]