TY  - BOOK
AU  - Ferro,R
ED  - Logic Colloquium
ED  - European Foundation for Logic, Language, and Information
TI  - Logic Colloquium: proceedings of the Colloquium held in Padova, Italy, August 22-31,1988 
SN  - 0444874550 :
U1  - 164 
PY  - 1989///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Logic, symbolic and mathematical
KW  - Congresses
N1  - Text in English and French
ER  -