Mathematical Logic: The study of formal logical systems used to represent and reason about propositional statements.
We are still working on this page. Come back again soon.