译自: Logic for mathematicans/A. G. Hamilton. -- 剑桥大学出版社, 1978:本书是数理逻辑的基础读物,对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。
数理逻辑
留言内容
发布留言
用户须知:
1.如果要找《数学家的逻辑》,可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:http://cover.duxiu.com/coverNew/CoverNew.dll?iid=696967686a68676a6b685ea6a797af99ac9daaa599aaa33932303632333438