发表于2025-01-05
Mathematical Logic and the Foundations of Mathematics 2025 pdf epub mobi 电子书
图书标签: 数学 逻辑 mathematics mathematical_phlosophy mathematical_logic foundations_of Math
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 2025 pdf epub mobi 电子书