TY  - BOOK
ED  - Logic Colloquium
ED  - Lolli, G. (Gabriele),
ED  - Longo, G. (Giuseppe)
ED  - Marcja, A. (Annalisa)
TI  - Logic Colloquium'82: proceedings of the Colloquium held in Florence 23-28 August, 1982 
SN  - 0444868763
PY  - 1984///
CY  - Amsterdam
PB  - North-Holland
KW  - Model theory
KW  - Congresses
KW  - Categories (Mathematics)
KW  - Lambda calculus
N1  - Bibliography: p.358
ER  -