TY  - BOOK
AU  - Elleinghaus,H.D
ED  - Logic Colloquium
ED  - European Foundation for Logic, Language, and Information
TI  - Logic Colloquium: proceedings of the Colloquium held in Granada, Spain, July 20-25 
SN  - 0444880224 :
U1  - 164 
PY  - 1989///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Logic, symbolic and mathematical
KW  - Congresses
N1  - Text in English and French; Bibliography : p. 372-375
ER  -