Roger Antonsen
About
Talks
Books
Press
Teaching
Research
Art
Blog
EN
NO
Proof Search and Free Variable Sequent Calculi
Talk
September 26, 2003
Seminar in Computing, Department of Informatics, University of Oslo