Synonyms/Hypernyms (Ordered by Estimated Frequency) of noun mathematical_logic

1 sense of mathematical logic

Sense 1
symbolic logic, mathematical logic, formal logic -- (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)
       => logic, logical system, system of logic -- (a system of reasoning)