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