Foundation of mathematical logic - Curry, Haskell B. (Haskell Brooks), 1900- (McGraw-Hill Book Co., Inc., 1963)