In the light of logic /
Feferman, Solomon,1928-
New York ; Oxford : Oxford University Press,
1998.
Includes bibliographical references (p.309-330) and index.
Mathematics
Logic, Symbolic and mathematical.