We will read the book by Sarah Negri and Jan von Plato: "Structural Proof Theory" (Cambridge U.P., 2001). The meetings are on Tuesdays, 12 - 13:30h.
José MartÃnez