8yr Tong :verified:

Book

数学家的逻辑

Douban

A.G.哈密尔顿 / Hamilton, A.G. translator: 骆如枫 / 陈慕昌 publishing house: 商务印书馆 1989

译自: Logic for mathematicans/A. G. Hamilton. -- 剑桥大学出版社, 1978