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