| mathematical logic | คณิตตรรกศาสตร์, คณิตตรรกวิทยา [ปรัชญา ๒ มี.ค. ๒๕๔๕] |
| mathematical logic | คณิตตรรกศาสตร์ [คณิตศาสตร์๑๙ ก.ค. ๒๕๔๗] |
| symbolic logic | (n) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity, Syn. formal logic, mathematical logic |
| 数理逻辑 | [数 理 逻 辑 / 數 理 邏 輯] mathematical logic; symbolic logic #92,366 [Add to Longdo] |
| 数学的論理学 | [すうがくてきろんりがく, suugakutekironrigaku] (n) mathematical logic [Add to Longdo] |
| 数理論理学 | [すうりろんりがく, suurironrigaku] (n) (See 記号論理学) mathematical logic [Add to Longdo] |
| 記号論理学 | [きごうろんりがく, kigouronrigaku] symbolic logic, mathematical logic [Add to Longdo] |
| 数理論理学 | [すうりろんりがく, suurironrigaku] symbolic logic, mathematical logic [Add to Longdo] |