The elements of mathematical logic - Rosenbloom, Paul C. (New York Dover Publications, 1950)
Keywords: Logic, Symbolic and mathematical