Delta Rules, Skolemization, and Soundness

Talk
March 7, 2005
INF5170 - Master Seminar in Logic