Foundations of mathematical logic - Curry, Haskell B. (Dover publications, Inc, 1977)