Foundations of Mathematical Logic (1963)

by Haskell B Curry