大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
名称 Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
索引号 O141-53/E902
分类号 O141-53
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 Latin-American Symposium on Mathematical Logic (6th : 1983 : Caracas、 Venezuela)、Di Prisco、 C. A.、AsociacíОn Venezolana para el Avance de la Ciencia.、
出版社 Berlin ; New York : Springer-Verlag, c1985.
ISBN
页数 vii, 407 p. ; 25 cm.
价格
标签
简介
注解 Sponsored by AsociacíОn Venezolana para el Avance de la Ciencia (AsoVAC) ... et al. 附註 Includes bibliographies.