In the message I just sent "Hilbert-Bernays" should be "Hilbert-Ackermann".
Sorry.
Martin
Martin Davis
Visiting Scholar UC Berkeley
Professor Emeritus, NYU
martin at eipye.com
(Add 1 and get 0)
http://www.eipye.com