First Order Mathematical Logic 在線電子書 圖書標籤: 數學
發表於2024-12-26
First Order Mathematical Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. ." . . an excellent text." -- "Mathematical Reviews." Exercises. Bibliography.
評分
評分
評分
評分
First Order Mathematical Logic 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024