I recommend to FOMers the review of Sol Feferman's IN THE LIGHT OF LOGIC by
Geoffrey Hellman in Philosophia Mathematica, vol. 9, #2 (June 2001).
Martin
Martin Davis
Visiting Scholar UC Berkeley
Professor Emeritus, NYU
martin at eipye.com
(Add 1 and get 0)
http://www.eipye.com