TY  - BOOK
ED  - Logic Colloquium
TI  - Logic Colloquium 82: proceedings of the colloquium held in Florence 23-28 Aug. 1982 
U1  - 511.2076 
PY  - 1984///
CY  - Amsterdam
PB  - North-Holland
KW  - Lamba calculas
KW  - Congresses
KW  - Categories (Mathematics)
KW  - Model theory
KW  - Logic, symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -