Logic ColloquiumBooksLogic Colloquium 2000Logic Colloquium '03Proceedings of the colloquium / Logic ColloquiumLogic Colloquium '03Logic Colloquium '99Author data: Open Library