中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja.

出版发行项:

Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.

ISBN:

0444868763 (U.S.)

载体形态项:

viii, 358 p. : ill. ; 23 cm.

丛编题名:

Studies in logic and the foundations of mathematics ; v. 112

会议名称:

Logic Colloquium (1982 : Florence, Italy)

附加个人名称:

Lolli, Gabriele, 1942-

附加个人名称:

Longo, Giuseppe.

附加个人名称:

Marcja, A. (Annalisa)

论题主题:

Model theory-Congresses.

论题主题:

Categories (Mathematics)-Congresses.

论题主题:

Lambda calculus-Congresses.

中图法分类号:

O14-53

书目附注:

Includes bibliographical reference.

豆瓣简介：