Skip to definition.
Get the FREE one-click dictionary software for Windows.


Noun: mathematical logic  `mathu'matikul 'lójik
  1. Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
    - symbolic logic, formal logic

Derived forms: mathematical logics

Type of: logic, logical system, system of logic

Encyclopedia: Mathematical logic