A Friendly Introduction to Mathematical Logic

mmdzz

作者：Christopher C. Leary
文件大小：7.31MB
文件类型：双层PDF
语言：英语
出版：Prentice Hall，1999年
页数：241
书签：无

内容简介：
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 assessable, 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. Completeness 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.

地址：
http://u.115.com/file/clwwhqaf#