Mathematical logic - Quine, Willard Van Orman (Cambridge Harvard University Press, 1947)
Keywords: Logic, Symbolic and mathematical