Study note
First-Order Logic (Second Edition) : A Concise Introduction
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- book.douban.com
- Vault note
library/books/math/First-Order-Logic-(Second-Edition)-A-Concise-Introduction-6d7de80223df39c7.md
Summary
一阶逻辑简明入门教材，讲语法、语义、证明系统、有效性、模型、完备性和紧致性等基础内容。
Highlights
篇幅控制较好，适合想快速建立现代逻辑基础、再继续读模型论或集合论的读者。
Notes
John Heil；2021-9。
Comments
Loading comments...