A course in mathematical logic
by J. L. Bell and M. Machover.1977 年出版599 页ISBN:0720428440
A Course in Mathematical Logic=数学逻辑教程
J. L. Bell ; M. Machover2015 年出版599 页ISBN:7510086304
PERSPECTIVES IN MATHEMATICAL LOGIC AZRIEL LEVY BASIC SET THEORY
1979 年出版391 页ISBN:3540084177