Logic Colloquium 82 : proceedings of the colloquium held in Florence 23-28 Aug. 1982 - Logic Colloquium (1982 : Florence) (Amsterdam : North-Holland, 1984)
Includes bibliographical references and index
Keywords: Lamba calculas -- Congresses; Categories (Mathematics) -- Congresses; Model theory -- Congresses; Logic, symbolic and mathematical -- Congresses