TY  - BOOK
AU  - Dalen D Van Ed.
AU  -  Lascar D Ed.
TI  - Logic colloquium '80
U1  - R14, M2 
PY  - 1982///
CY  - Oxford
PB  - North Holland Publishing     
ER  -