发表于2025-01-31
A Profile of Mathematical Logic (Dover Books on Mathematics) 2025 pdf epub mobi 电子书
图书标签: 数学 逻辑 数理逻辑 《哥德尔证明》 nemlophics logic M.100.数理逻辑 programming
This text explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its use, and the main results of metatheory and their import. 1971 edition. Includes 22 figures and 19 tables. Appendixes. Bibliography. Indexes.
A Profile of Mathematical Logic (Dover Books on Mathematics) 2025 pdf epub mobi 电子书