[FOM] regarding attribution to Kreisel

Alasdair Urquhart urquhart at cs.toronto.edu
Fri Dec 30 15:47:19 EST 2011

Yes, there was an FOM discussion on this topic involving
Bill Tait and myself, among others.  There was a particularly helpful
posting by Michael Detlefsen from May 11 2001 that
you can find in the FOM archives under the
heading "Kreisel: Objects and objectivity."

Alasdair Urquhart

More information about the FOM mailing list