1
by Curry, Haskell B.
Published 1972
North-Holland Pub. Co
...Studies in logic and the foundations of mathematics...