图书标签: 数学 逻辑 mathematics mathematical_phlosophy mathematical_logic foundations_of Math
发表于2024-11-20
Mathematical Logic and the Foundations of Mathematics pdf epub mobi txt 电子书 下载 2024
This graduate level textbook introduces the historical development of the philosophy of mathematics, with chapters on symbolic logic, Hilbert's metamathematics, G del's theorems, recursive arithmetic, the axiomatic theory of sets, and the application of mathematics to the natural world. Originally published in 1963 by D. Van Nostrand. Annotation c.
评分
评分
评分
评分
Mathematical Logic and the Foundations of Mathematics pdf epub mobi txt 电子书 下载 2024