Foredrag
27. september 2004
INF5170 - Masterseminar i logikk

Endelig modellegenskap og filtreringer i modallogikk