Logic (L)

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.

See all Reading Groups