Mathematical Logic

Mathematical Logic pdf epub mobi txt 电子书 下载 2025

出版者:Springer
作者:H.-D. Ebbinghaus
出品人:
页数:300
译者:
出版时间:1996-11-15
价格:USD 74.95
装帧:Hardcover
isbn号码:9780387942582
丛书系列:Undergraduate Texts in Mathematics
图书标签:
  • 数理逻辑 
  • 数学 
  • 逻辑学 
  • 逻辑 
  • Mathematics 
  • Logic 
  • 一阶理论 
  • 模型论 
  •  
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

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 advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

具体描述

读后感

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

评分

北大以此作为研究生的数理逻辑教材。 邢滔滔老师的《数理逻辑》也脱胎于此。 书中详略得当,对于基础一点而过,适合有些逻辑基础的人来学习。 书中的推演系统是矢列演算,这也是我在国内教材中从未见到过的。通过学习以及与公理系统和自然推演系统的对比,可以更有助于整体的...

用户评价

评分

很好的逻辑学教材,全面、翔实、清楚。

评分

很好看,特别喜欢数理逻辑里面的代数方法!部分同构!

评分

@2017-08-31 20:57:24

评分

很好看,特别喜欢数理逻辑里面的代数方法!部分同构!

评分

在导师的帮助下仔仔细细读了一遍。这应该是目前最好的逻辑学导论了,读完之后对逻辑四论在研究什么会有一个初步的了解和大致的印象。需要一定的math maturity, 不适合作为第一本逻辑学教材。

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有