数理逻辑基础（希尔柏脱 阿克曼）
4星 · 超过85%的资源 需积分: 9 141 浏览量
2011-04-26
10:40:35
上传
评论
收藏 6.98MB RAR 举报 
数理逻辑基础（希尔柏脱 阿克曼）.rar （1个子文件） 
数理逻辑基础（希尔柏脱 阿克曼）.pdf 7.15MB资源评论
lord_gamble2014-04-19很数学的书，清晰程度一般。
herainsun2012-03-12是繁体字翻译版的，包括命题演算、类演算（一元谓词演算）、狭义谓词演算、广义谓词演算
