Richard Zach的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
An Introduction to Proof Theory
Richard Zach
评分 暂无
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also
Sets, Logic, Computation
A textbook on the semantics, proof theory, and metatheory of first-order logic. Covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and L
