Roger Antonsen

Sequent Calculus with Free Variables and Skolemization

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