Roger Antonsen
forside
om
foredrag
undervisning
forskning
bøker
presse
blogg
kunst
EN
NO
Foredrag
11. mars 2002
Med Helle Hansen for kurset «Automated Reasoning» ved Universiteit van Amsterdam, Nederland
Why is modal logic so robustly decidable?
