Logic Colloquium '01: Lecture Notes In Logic, 20

Matthias Baaz , Sy-David Friedman , Jan Krajíček