Carnegie Mellon Summer School in Logic and Formal Epistemology

This web page provides links to some of the materials used in the 2009 summer school.

Categories and Structures

Prof. Awodey relied on excerpts from his book, Category Theory, Oxford Logic Guides, Oxford University Press, 2006.

Decisions and Games

These slides and materials were prepared by Prof. Seidenfeld:

• schedule
• session 1
• session 2
• session 3
• session 4
• session 5
• session 6
• session 6.5
• session 7
• session 8
• annotated bibliography

Logic and formal verification

Prof. Avigad prepared a resource page for this session.