Foundations of mathematical logic - Curry, Haskell B. 1900- (Haskell Brooks) (Dover Publications, Inc., 1977)