Methods of Logic - Quine W V O (New York Hemry Holt, 1950)
Keywords: Symbolic and Mathematical Logic