Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / ed. by Maurice Boffa ... Amsterdam [u.a.] : North-Holland, 1979