In the light of logic - Feferman, Solomon (Oxford University Press, 1998)
Includes bibliographical references (p. 309-330) and index