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.
發表於2024-11-19
Mathematical Logic and the Foundations of Mathematics 2024 pdf epub mobi 電子書 下載
圖書標籤: 數學 邏輯 mathematics mathematical_phlosophy mathematical_logic foundations_of Math
Mathematical Logic and the Foundations of Mathematics 2024 pdf epub mobi 電子書 下載