User:Spug

Master student, writing about modal logic and computational complexity at University of Oslo.

My website