Talk
January 13, 2003
Postgraduate Seminar in Logic at Language, Logic, and Information

Sequent Calculus with Free Variables and Skolemization