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