Midlands Logic Seminar 2012: Session 9, Thursday 8th March

3.30pm Study group session on Arithmetic and Complexity Theory

Mike Cox will talk about the linear time hierarchy.

David Miller (Warwick) The Non-classical side of classical logic.

OHP slides (in PDF format) are available here.