Foredrag
26. september 2003
Seminar i databehandling, Institutt for informatikk, Universitetet i Oslo

Proof search and free variable sequent calculi