TY  - BOOK
AU  - Ebbinghaus H D ed.
ED  - Logic Colloquium( 1987 : Granada,Spain )
ED  - Logic Colloquium
TI  - Proceedings
U1  - 511.3 
PY  - 1989///
CY  - Amsterdam
PB  - North Holland
KW  - Mathematical logic
ER  -