Foundations of mathematical logic - Curry, Haskell B. 1900-1982 (McGraw-Hill series in higher mathematics, 1963)