Formal Systems and Recursive Functions - Crossley J. N Ed.; Dummett M. A. E Ed. (Amsterdam North Holland, 1965)
Keywords: Logic