名称 Mathematical logic = 数理逻辑
索引号 O141/E20092.2
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 Ebbinghaus、 Heinz-Dieter、 1939-、Flum、 Jörg.、Thomas、 Wolfgang、 1947-、
出版社 北京 : 世界图书出版公司, 2008.
ISBN
页数 x, 289 p. : ill. ; 23 cm.
价格
标签
简介
注解 Title from cover. 附註 Includes bibliographical references (p. [277]-279) and indexes. 附注 Reprint. Originally published: New York : Springer-Verlag, c1994. 2nd ed. 0387942580. 9780387942582.