Foredrag
11. april 2005
INF5170 - Masterseminar i logikk

Deltaregler, skolemisering og sunnhet