Logic Colloquium (1999 Utrecht, Netherlands) — Author | Lex | Lex