[Alta-Logic] Recap: Kripke on Hilbert's Program

Richard Zach rzach at ucalgary.ca
Thu Oct 29 10:13:57 MDT 2009

Previous message: [Alta-Logic] talk today
Next message: [Alta-Logic] Computer Science Invited Speaker - Pavel Hrubes November 23rd, 2009 at 12pm in ICT 616
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Next Tuesday, November 3, I'll say a few things by way of recap and
explanation of Kripke's second lecture. It'll be in 1253 SS at 3:30.

-R

Previous message: [Alta-Logic] talk today
Next message: [Alta-Logic] Computer Science Invited Speaker - Pavel Hrubes November 23rd, 2009 at 12pm in ICT 616
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the alta-logic-l mailing list