Foundations of mathematical logic - Curry, Haskell B., 1900- (New York: Dover Publications, 1977)
Includes bibliography and index
Keywords: Logic, Symbolic and mathematical