A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic pdf epub mobi txt 电子书 下载 2025

出版者:Prentice Hall
作者:Christopher C. Leary
出品人:
页数:218
译者:
出版时间:1999-12-8
价格:USD 76.00
装帧:Hardcover
isbn号码:9780130107053
丛书系列:
图书标签:
  • 数理逻辑 
  • 数学 
  • ebooks 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

This user-friendly introduction to the key concepts of mathematical logic focuses on concepts that are used by mathematicians in every branch of the subject. Using an assessible, conversational style, it approaches the subject mathematically (with precise statements of theorems and correct proofs), exposing readers to the strength and power of mathematics, as well as its limitations, as they work through challenging and technical results. KEY TOPICS: Structures and Languages. Deductions. Comnpleteness and Compactness. Incompleteness--Groundwork. The Incompleteness Theorems. Set Theory. : For readers in mathematics or related fields who want to learn about the key concepts and main results of mathematical logic that are central to the understanding of mathematics as a whole.

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

只找到第一版......读到完全性定理为止,估计之后就不看这本了。这本直接从FOL开始,清晰流畅,Henkin的完全性证明尤其好,遗憾的是覆盖面因此有所牺牲。

评分

只找到第一版......读到完全性定理为止,估计之后就不看这本了。这本直接从FOL开始,清晰流畅,Henkin的完全性证明尤其好,遗憾的是覆盖面因此有所牺牲。

评分

只找到第一版......读到完全性定理为止,估计之后就不看这本了。这本直接从FOL开始,清晰流畅,Henkin的完全性证明尤其好,遗憾的是覆盖面因此有所牺牲。

评分

只找到第一版......读到完全性定理为止,估计之后就不看这本了。这本直接从FOL开始,清晰流畅,Henkin的完全性证明尤其好,遗憾的是覆盖面因此有所牺牲。

评分

只找到第一版......读到完全性定理为止,估计之后就不看这本了。这本直接从FOL开始,清晰流畅,Henkin的完全性证明尤其好,遗憾的是覆盖面因此有所牺牲。

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

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有