[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