数理逻辑
认领
0粉丝
Whatisamathematicalproof?Howcanproofsbejustified?Aretherelimitationstoprova
简介
Whatisamathematicalproof?Howcanproofsbejustified?Aretherelimitationstoprovability?Towhatextentcanmachinescarryoutmathematicalproofs?Onlyinthiscenturyhastherebeensuccessinobtainingsubstantialandsatisfa... 更多
属性
出版社
世界图书出版公司
ISBN
9787506292276
出版年
2008-5
装帧
平装
价格
45.00元
页数
289
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%