Mathematical logic is mathematical in nature. Mathematical logic is divided into the categories of set theory, model theory, recursion theory, and proof theory.

Helpful Links

• Set Theory
• Model Theory
• Recursion Theory
• Proof Theory

< Back to Logic Page