Mathematical Logic

Mathematical Logic

分享

作者: H.-D. Ebbinghaus , J. Flum , W. Thomas

出版社: Springer

出版时间: 1996-11

ISBN: 9780387942582

装帧: 精装

开本: 其他

纸张: 其他

分类: 外文古旧书>英文书>文学

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advan
内容简介:
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advan

查看详情

相关分类

Literature&Fiction文学与虚构 ScienceFiction&Fantasy科幻与玄幻 Romance浪漫小说 Mystery&Thrillers神秘与惊悚 Teens青少年读物 Biographies&Memoirs传记与自传 Comics&GraphicNovels动漫与绘画小说 ELT英语学习 Reference参考书 StandardTest标准考试 Business&Investing商业与投资 Self-Help励志自助

数学逻辑第2版英文原版 Mathematical Logic H D Ebbinghaus J Flum Wolfgang Thomas 9780387942582

九五品

白鹭洲书院

江西省吉安市

平均发货35小时成功完成率87.87%

￥720.40

券

100减20

立即购买加入购物车不属于本条目