論理学は数学・哲学・情報の三分野で研究されてるけど
証明論っぽくない再帰函数論やモデル理論や集合論は
数学科プロパーの研究だし、論理学というよりも数学だと言い切って良いと思う