《集合、逻辑、计算：元逻辑的开放介绍》
《Sets, Logic, Computation: An Open Introduction to Metalogic》
简介：
关于一阶逻辑的语义，证明理论和元理论的教科书。它涵盖了朴素的集合论，一阶逻辑，顺序演算和自然推论，完备性，紧凑性和löwenheim-skolem定理，图灵机以及停止问题和一阶逻辑的不可确定性。它基于开放逻辑项目，可免费下载t slc.openlogicproject.org。
英文简介：
A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.
最后更新：2025-03-15 16:47:04