Study note
Introduction to Mathematical Logic, Sixth Edition
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- book.douban.com
- Vault note
library/books/math/Introduction-to-Mathematical-Logic,-Sixth-Edition-af856c92d981dd48.md
Summary
Mendelson 的数理逻辑经典教材，覆盖命题逻辑、一阶逻辑、形式数论、递归论、Gödel 定理和集合论基础。
Highlights
体系完整且偏经典路线，适合作为逻辑方向长期参考书。
Notes
Elliott Mendelson；2015-6-8。
Comments
Loading comments...