Free-variable sequent calculi

Foredrag
13. januar 2003
Logikkseminaret ved Institutt for informatikk