Study note
Logic and Proof
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- leanprover-community.github.io
- Vault note
library/books/math/Logic-and-Proof-5927d735bb573885.md
Summary
系统讲命题逻辑、一阶逻辑、自然演绎、经典推理、语义、集合、关系、函数和归纳，并在对应章节使用 Lean 表达命题与构造证明。
Highlights
把纸笔逻辑、形式语义和 Lean 实践交替组织，适合希望补齐数理逻辑基础，而不仅仅记忆 tactic 的读者。
Notes
Jeremy Avigad、Joseph Hua、Robert Y. Lewis、Floris van Doorn；持续更新。
Comments
Loading comments...