最近正在读 2 本与逻辑学有关的书，一本是 The Calculus of Computation，另一本是《面向计算机科学的数理逻辑》(最近出了中文版，但我还是用的影印版)。前者强调 semantics，而后者第一章全是 natural deduction。我没有搞明白两者的异同，但《数学哲学讲义》内证明的哥德尔完备性定理解决了我的疑惑
From X
Disclaimer: The above content reflects only the author's opinion and does not represent any stance of CoinNX, nor does it constitute any investment advice related to CoinNX.