Foundations of mathematical logic - Curry, Haskell B. (Haskell Brooks), 1900- (New York: McGraw-Hill, 1963)
Includes bibliography.
Keywords: Logic, Symbolic and mathematical