... corrected the date in the title On 2018-02-19 22:49, Dr M. Gabbay wrote: > Dear All, > > With apologies again to SMS, the Logic Seminar will run from 5pm this > Wednesday 21st. > > Let's discuss proof theory in general. I think the responses to a > survey > that Solomon Feferman conducted at the turn of the century are > interesting. They are catalogued here: > > http://www.ihes.fr/~carbone/papers/proofsurveyFeferman2000.html > > Michael G. > > _____________________________________________________ > 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.
_____________________________________________________ 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.
