Logic Colloquium '77 : proceedings of the colloquium held in Wroclaw, August 1977 - Macintyre, Angus; Pacholski, Leszek; Paris, Jeff (Studies in logic and the foundations of mathematics, 1978)