Logic Colloquium 77 - Macintyre Angus (New York North Holland Publishing Company, 1977)