A.G. Hamilton: Logic for Mathematicians. Cambridge University Press, 1978.

• 陆钟万：面向计算机科学的数理逻辑（第二版），科学出版社2002。