Text this: Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon.