A First Course in Logic —— An Introduction to Model Theory, Proof Theory, Computability, and Complexity

----- 逻辑学的第一门课程：模型理论，证明理论，可计算性和复杂性的介绍

ISBN: 9780198529804 出版年：2004 页码：452 Hedman, Shawn Oxford University Press

Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course.