The Logic Seminar tomorrow (4-5.30pm in the graduate common room) will discuss my 1998 paper "Classical arithmetic is part of intuitionistic arithmetic". http://www.phil.cam.ac.uk/people/teaching-research-pages/potter/articles/intuitionist.pdf
MDP _____________________________________________________ To unsubscribe from the CamPhilEvents mailing list, or change your membership options, please visit the list information page: http://bit.ly/CamPhilEvents List archive: http://bit.ly/CamPhilEventsArchive Please note that CamPhilEvents doesn't accept email attachments. See the list information page for further details and suggested alternatives.
