Roger Antonsen
About
Talks
Books
Press
Teaching
Research
Art
Blog
EN
NO
Delta Rules, Skolemization, and Soundness
Talk
March 7, 2005
INF5170 - Master Seminar in Logic