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