Free Variable Sequent Calculi

Talk
January 13, 2003
Logic Seminar at the Department of Informatics