Logic Colloquium'77 : proceedings - Macintyre, Angus; Macintyre, Angus; Pacholski, Leszek 1945-; Pacholski, Leszek 1945-; Paris, Jeffrey Bruce 1944- (North Holland, 1978)