Roger Antonsen
About
Talks
Books
Press
Teaching
Research
Art
Blog
EN
NO
Cut Elimination
Talk
May 3, 2002
In the course SLI310/IN310 – Logic and computability 2, University of Oslo