Classical Mathematical Logic

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

出版者:Princeton University Press
作者:Richard L. Epstein
出品人:
页数:546
译者:
出版时间:2006-4-1
价格:GBP 116.95
装帧:Hardcover
isbn号码:9780691123004
丛书系列:
图书标签:
  • 数理逻辑 
  • 数学 
  • nobutdunbuy 
  •  
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

In "Classical Mathematical Logic", Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proofs and the insights behind the proofs, as well as detailed and nontrivial examples and problems. The book has more than 550 exercises. It can be used in advanced undergraduate or graduate courses and for self-study and reference. "Classical Mathematical Logic" presents a unified treatment of material that until now has been available only by consulting many different books and research articles, written with various notation systems and axiomatizations.

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

评分

评分

评分

评分

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

© 2025 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有