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

Online Public Access Catalogue

题名/责任者:

Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco.

出版发行项:

Berlin ; New York : Springer-Verlag, c1985.

ISBN:

3540152369 (Berlin)

ISBN:

0387152369 (New York)

载体形态项:

vii, 407 p. ; 25 cm.

丛编说明:

Lecture notes in mathematics ; 1130

丛编统一题名:

Lecture notes in mathematics (Springer-Verlag); 1130.

会议名称:

Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas, Venezuela)

附加个人名称:

Di Prisco, C. A.

附加团体名称:

Asociación Venezolana para el Avance de la Ciencia.

论题主题:

Logic, Symbolic and mathematical-Congresses.

中图法分类号:

O141

一般附注:

Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... [et al.].

书目附注:

Includes bibliographical references.

豆瓣简介：