[Alta-Logic] Kripke talk

[Richard Zach]

Hi,

Ali asked me to give a little presentation on what Kripke was talking
about in his talk yesterday on Goedel and the Hilbert program. I was
thinking Tuesday afternoon, say at 4. But I can do it some other time,
if a lot of non-philosophers would like to come but don't have time
then. Let me know.

Best,
R