Roger Antonsen
Om
Foredrag
Bøker
Presse
Undervisning
Forskning
Kunst
Blogg
EN
NO
Snitteliminasjon
Foredrag
3. May 2002
I kurset SLI310/IN310 – Logikk og beregnbarhet 2, Universitetet i Oslo