mathematical logic

 

noun

[mass noun]
  • logic that is mathematical in its method, manipulating symbols according to definite and explicit rules of derivation; symbolic logic.