数理論理学 • 英語

数理論理学

n. (Hira=すうりろんりがく) symbolic logic, mathematical logic