西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Mathematical logic = 数理逻辑 / H.-D. Ebbinghaus, J. Flum, W. Thomas.

版本说明:

Second edition.

出版发行项:

北京: 世界图书出版公司, 2019.

ISBN:

9787519255725

载体形态项:

x, 289 pages : illustrations ; 25 cm.

变异题名:

数理逻辑

丛编说明:

Undergraduate texts in mathematics

个人责任者:

Ebbinghaus, Heinz-Dieter, 1939- author.

附加个人名称:

Flum, J?rg, author.

附加个人名称:

Thomas, Wolfgang, 1947- author.

论题主题:

Logic, Symbolic and mathematical.

中图法分类号:

O141

书目附注:

Includes bibliographical references (pages [277]-279) and indexes.

原版附注:

Reprint. Originally published: New York : Springer-Verlag, 1994. Second edition. 9781475723571.

豆瓣简介：