TY  - BOOK
AU  - Lolli,Gabriele
AU  - Longo,Giuseppe
AU  - Marcja,Annalisa
ED  - Logic Colloquium '82
TI  - Logic Colloquium '82: Proceedings of the colloquium held in Florence, 23-28 August, 1982 
SN  - 0444868763
U1  - 511.3 19
PY  - 1984///
CY  - Amsterdam, Oxford
PB  - North-Holland
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliogr. references
ER  -