[FOM] symbol vs integer: thread is closed
Martin Davis
eipye at pacbell.net
Mon Jan 3 17:08:51 EST 2011
On the recommendation of our editors, no further messages on this
topic will be accepted.
Happy New Year to all!
Martin
More information about the FOM
mailing list