Roger Antonsen
Hjem
Om
Foredrag
Bøker
Presse
Undervisning
Forskning
Kunst
Blogg
Søk
CMD-K
Mørkt modus
Lyst modus
CTRL-D
Font
CTRL-F
Ff
Språk
CTRL-E/N
Norsk
Engelsk
Tilfeldig side
CTRL-R
Søk
Søk
Søk
Snitteliminasjon
Foredrag
3. mai 2002
I kurset SLI310/IN310 – Logikk og beregnbarhet 2, Universitetet i Oslo