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