Mathematical Logic and the Foundations of Mathematics 在线电子书 图书标签: 数学 逻辑 mathematics mathematical_phlosophy mathematical_logic foundations_of Math
发表于2024-08-17
Mathematical Logic and the Foundations of Mathematics 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 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 下载 txt下载 epub 下载 mobi 下载 2024