Foredrag
13. januar 2003
Logikkseminaret ved Institutt for informatikk

Free-variable sequent calculi