-
MATHEMATICAL LOGIC
—/ J. DONALD MONK.
索书号：O141/MJD
标准编码：7-5062-0067-8
出版信息：: WORLD PUB. CO., c1976. Beijing
-
MATHEMATICAL LOGIC /
—J. DONALD MONK.
索书号：O141/MJD
标准编码：7506200678
出版信息：SPRINGER-VERLAG, 1976. New York :
-
A COURSE IN MATHEMATICAL LOGIC
—/ YU I. MANIN.
索书号：O141/MYZ
标准编码：7-5062-0083-X
出版信息：: WORLD PUB. CO., c1977. Beijing
-
COURSE IN MATHEMATICAL LOGIC /
—EDITED BY Y.I. MANIN ; TRANSLATED FROM THE RUSSIAN
索书号：O141/MYI
标准编码：0387902430
出版信息：SPRINGER VERLAG, c1977. NEW YORK :
-
MATHEMATICAL LOGIC /
—EDITED BY J.DONALD MONK
索书号：O141/MJDML
出版信息： 2017. CHAPMAN AND HALL/CRC,
-
MATHEMATICAL LOGIC/
—EDITED BY J.DONALD MONK.
索书号：O141/MJDM
标准编码：7-5062-0067-8
出版信息：
-
COURSE IN MATHEMATICAL LOGIC /
—EDITED BY Y.I. MANIN ; TRANSLATED FROM THE RUSSIAN
索书号：O141/MYI
标准编码：0387902430
出版信息：SPRINGER VERLAG, c1977. NEW YORK :
-
A COURSE IN MATHEMATICAL LOGIC /
—Y.I. MANIN ; TRANSLATED FROM THE RUSSIAN BY NEAL K
索书号：O141/MYI
标准编码：0387902430
出版信息：SPRINGER VERLAG, c1977. New York :
-
AN ALGEBRAIC INTRODUCTION TO MATHEMATICAL LOGIC /
—DONALD W. BARNES.
索书号：O141.12/BDW
标准编码：750620052X
出版信息：WORLD PUBLISHING CORPORATION, 1975 Beijing :
-
INTRODUCTION TO MATHEMATICAL LOGIC AND RESOLUTION PRINCIPLE
—王国俊，周红军著
索书号：O141/00059
标准编码：978-7-03-022899-4
出版信息：科学出版社 2009 北京