I will be out of the country until March 11, celebrating my 80th
birthday. I'll continue to check FOM during this period, but only sporadically.
Martin
Martin Davis
Visiting Scholar UC Berkeley
Professor Emeritus, NYU
martin at eipye.com
(Add 1 and get 0)
http://www.eipye.com