Yahoo Web Search

Search results

  1. Dictionary
    Math·e·mat·i·cal log·ic
    /ˌmaTH(ə)ˌmadəkəl ˈläjik/

    noun

    • 1. 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.

    Powered by Oxford Languages