Foundations of mathematical logic.
Curry, Haskell B.(Haskell Brooks)
New York; London, 
[1963]