Logic Colloquium '99 (Lecture Notes in Logic 17)