TY  - BOOK
AU  - Macintyre Angus
TI  - Logic Colloquium 77
SN  - 04485178
U1  - 511.33 
PY  - 1977///
CY  - New York
PB  - North Holland Publishing Company
ER  -