Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

大拱桥--暨南大学学生门户 » 图书馆 » 高等数学 » Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980


名称	Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

索引号	O132-51/E90118
分类号	O132-51 O13(高等数学) O1(数学) O(数理科学和化学)
作者	Logic Symposia (1979 : Hakone-machi、 Japan)、Mèuller、 G. H. (Gert Heinz)、 1923-、Takeuti、 Gaisi、 1926-、Tuguâe、 T. (Tosiyuki)、 1926-、Logic Symposia (1980 : Hakone-machi、 Japan)、
出版社	Berlin ; New York : Springer-Verlag, 1981.
ISBN
页数	xi, 394 p. ; 25 cm.
价格
标签
简介
注解