本のタイトルがどうこうって話が出ていたけれど、
集合論やモデル理論まできちんと書いてある本で「数理論理学」ってタイトルの本ある？
洋書で "Mathematical Logic" なら Shoenfield とかあるけど、和書ではないのでは？
和書になると「数学基礎論」ってタイトルしか見当たらないように思うのだが。
和書で「数理論理学」っていうと、完全性定理や不完全性定理とそのちょっとした発展的話題だけでしょ。