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