分野として確立して以降の集合論（CHの独立性以降）やモデル理論を取り扱っている
「数理論理学」というタイトルの和書の例を挙げて貰いたい