I will give a lecture course in English,
Five Lectures on Proof-Analysis
Starting October 30, 2001
(University Main Building, aud XVIII, Tuesdays 10--12).
Prerequisite for the course is an introductory course in logic.
Sara Negri, logiikan dosentti
e-mail: negri@helsinki.fi
The course is based on chapters of the book by S. Negri and J. von Plato
"Structural Proof Theory", published by Cambridge University Press.
Back to Sara Negri's homepage.
Last modified September 12, 2001