Logic Colloquium 2000 (Lecture Notes in Logic, Vol. 19) | lit.salon