Author: Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)