Foundations of mathematical logic - Curry, Haskell B (McGraw-Hill book Co, Inc, NewYork, 1963)
Keywords: Mathematical logic-- Mathematics