Roger Antonsen
Om
Foredrag
Bøker
Presse
Undervisning
Forskning
Kunst
Blogg
EN
NO
Proof search and free variable sequent calculi
Foredrag
26. september 2003
Seminar i databehandling, Institutt for informatikk, Universitetet i Oslo