Foundations of mathematical logic. - Curry, Haskell B. (McGraw-Hill,, 1963)