Study note
符号逻辑讲义
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- book.douban.com
- Vault note
library/books/math/符号逻辑讲义-c5de4f0b61f71f32.md
Summary
中文符号逻辑教材，讲命题逻辑、一阶逻辑、形式证明、语义、可靠性和完备性等基础。
Highlights
适合中文语境下系统学习数理逻辑入门，也能为集合论和模型论打基础。
Notes
徐明；2008-9。
Comments
Loading comments...