Study note
Elements of Mathematical Logic: Model Theory
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- goodreads.com
- Vault note
library/books/math/Elements-of-Mathematical-Logic-Model-Theory-8bc90bbd7c388995.md
Summary
数理逻辑中的模型论教材，讨论形式语言、结构、满足关系、紧致性、完全性和模型构造等主题。
Highlights
适合在一阶逻辑基础之后进入模型论，理解语法与语义之间的结构关系。
Notes
Kreisel, G.。
Comments
Loading comments...