COMPOUND STATEMENTS AND MATHEMATICAL LOGIC
VINCENT E.CANGELOSI1967 年出版114 页ISBN：
A course in mathematical logic
by J. L. Bell and M. Machover.1977 年出版599 页ISBN：0720428440
AN ALGEBRAIC INTRODUCTION TO MATHEMATICAL LOGIC
DONALD W.BARNES JOHN M.MACK2222 年出版121 页ISBN：0387901094
A Course in Mathematical Logic=数学逻辑教程
J. L. Bell ; M. Machover2015 年出版599 页ISBN：7510086304
MATHEMATICAL LOGIC AN INTRODUCTION TO MODEL THEORY
A.H.LIGHTSTONE1977 年出版0 页ISBN：
MATHEMATICAL LOGIC AN INTRODUCTION T OMODEL THEORY
A.H.LIGHTSTONE1977 年出版338 页ISBN：0306308940
