Books by Logic Colloquium (2001 Vienna, Austria)