[FOM] Set Theory and Higher-Order Logic (London, August 1-6)

[Sean Walsh]

I wrote some months ago advertising our conference:

Set Theory and Higher-Order Logic:
Foundational Issues and Mathematical Developments
London, August 1-6, 2011

I thought it might interest readers of this list to know that many of
the slides from the tutorials and talks are now available on-line, at
the conference website:

http://www.bbk.ac.uk/philosophy/our-research/ppp/summer-school

Sincerely,

Sean Walsh