Foundations Of Mathematical Logic by Haskell B. Curry & Patricia Ed. Curry