Elliott Mendelson
Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications)
数理論理学はじめの一冊に最適。
古典論理の初等的定理がかなり詳細に掲載されている。
ゲーデルの第二不完全性定理の可導条件は省略されているものの、
ゲーデル数化の方針は十分に示されいる。
公理的集合論はZFCではなくNBGを採用しており異色である。