by Logic Colloquium (1999 Utrecht, Netherlands), Vincent Van Oostrom, Albert Visser, Logic Colloquium, J. Van Eijck
