Foundations of mathatical logic - Curry Haskell B (NewYork McGraw-Hill, 1961)
Keywords: PHILOSOPHY