A Mathematical Introduction to Logic -- Table of Contents 发表于 2020-06-13 更新于 2021-11-04 分类于 数学 ， 数理逻辑 阅读次数： \(\def\Indent{\quad\quad}\) 这是一个关于数理逻辑的读书笔记或者学习总结, 书名是A Mathematical Introduction to Logic (以下简称AMIL), 作者Herbert B. Enderton, University of California Introduction Chapter Zero. Useful Facts about Sets Chapter One. Sentential Logic Section 1.1 The language of Sentential Logic Section 1.2 Truth Assignments Section 1.4 Induction and Recursion Section 1.7 Compactness and Effectiveness Chapter Two. First-Order Logic Section 2.1 First-Order Language Section 2.2 Truth and Models Section 2.2: Exercises Section 2.2: Problem 1 Solution Section 2.4 Deductive Calculus