Logic

Weekly meetings on Wednesdays.

We will discuss, during the first semester, the book:

   Sher, G. (1991) The Bounds of logic: a generalized viewpoint. Cambridge: MIT Press.

During the second semester, we will read the book:

   Troelstra, A. S., Schwichtenberg, H. (2000) Basic Proof Theory (second edition). Cambridge: CUP.