Logic Colloquium '82
Subtitle: proceedings of the colloquium held in Florence, 23-28 August, 1982
By: edited by G. Lolli, G. Longo, and A. Marcja.
Contributors: Lolli, Gabriele, 1942-; Longo, G.; Marcja, A.
Series: Studies in logic and the foundations of mathematics -- v. 112
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1984
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 358
Subjects: Model theory -- Congresses.; Categories (Mathematics) -- Congresses.; Lambda calculus -- Congresses.
Notes: Includes bibliographies.