Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /

Bibliographic Details
Corporate Authors:	Logic Colloquium '82 (Florence), ScienceDirect (Online service)
Other Authors:	Lolli, Gabriele, 1942-, Longo, G. (Giuseppe), Marcja, A. (Annalisa)
Format:	Conference Proceeding eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam ; Oxford : North-Holland, 1984.
Series:	Studies in logic and the foundations of mathematics ; v. 112.
Subjects:	Logic, Symbolic and mathematical. Model theory > Congresses. Categories (Mathematics) > Congresses. Lambda calculus > Congresses. Théorie des modèles > Congrès. Catégories (Mathématiques) > Congrès. Lambda-calcul > Congrès. Logique symbolique et mathématique. Model theory Lambda calculus Categories (Mathematics) Logic, Symbolic and mathematical Mathematical logic Electronic books. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Connect to the full text of this electronic book

Published 1984

Conference Proceeding Book