Examines Feferman's work in mathematical as well as specific methodological and philosophical issues
Critically examines Feferman's work and, in part, actively expands upon concrete mathematical projects
Includes a short autobiography by Feferman that reflects on the evolution and intellectual contexts of his work