洋書
・What is mathematical logic ? by Crossley, John N. et al.,

洋書じゃないもの（というか日本語のもの）
・現代数理論理学入門 J. N. クロスリーほか 著 、田中尚夫 訳
・ゲーデルと２０世紀の論理学（全4巻） 田中一之 編

もっとも下の4巻シリーズはまだ眺めたこともないです。
目次だけ見て勧めてるので結構適当ｗ