Foundations of mathematical logic - Curry, Haskell Brooks (New York Mcgraw-Hill, 1963)
Keywords: Logic; Symbolic and mathematical