Yahoo香港字典 搜尋

搜尋結果

  1. mathematical logic

    • IPA[ˌmaTH(ə)ˌmadəkəl ˈläjik]
    • n.
      the part of mathematics concerned with the study of formal languages, formal reasoning, the nature of mathematical proof, provability of mathematical statements, computability, and other aspects of the foundations of mathematics.
    • noun: mathematical logic