logic 学点理论
标题：Introduction to Mathematical Logic 作者：Elliott Mendelson 版本：第六版
标题：Introduction to Mathematical Logic
作者：Elliott Mendelson
版本：第六版
Chapter 2: First-Order Logic and Model Theory (2.3~2.4) Mon, 2022/02/28
Chapter 2: First-Order Logic and Model Theory (2.1~2.2) Thu, 2022/01/13
Chapter 1: The Propositional Calculus (1.5~1.6) Wed, 2021/12/29
Chapter 1: The Propositional Calculus (1.4) Wed, 2021/12/22
Chapter 1: The Propositional Calculus (1.1~1.3) Mon, 2021/12/20
Introduction Mon, 2021/12/20