Lecture Notes in Mathematices - Feferman, Solomon; Feferman, Solomon (New York: Springer-Verlag, 1981)