Logic Colloquium'77 : proceedings - Macintyre, Angus (North Holland, 1978)