数理哲学
すうりてつがく mathematical philosophy

数理言語学
すうりげんごがく mathematical linguistics

数理論理学
すうりろんりがく symbolic logic mathematical logic