数理逻辑基础(希尔柏脱 阿克曼)
Mathematical Logic Foundation (Hilbert Ackman)
下载地址
用户评论
很数学的书,清晰程度一般。
是繁体字翻译版的,包括命题演算、类演算(一元谓词演算)、狭义谓词演算、广义谓词演算