Foundations of mathematical logic - Curry, Haskell Brooks n. 1900 (McGraw-Hill, 1963)