Logic

Overview

The ideas and concepts of logic were initially formulated in antiquity, particularly in the works of Aristotle. Formal mathematical logic was not developed until the 20th century, initially as part of Hilbert's program to fully formalize mathematics.

Topics

• Propositional Logic
• First Order Logic
• Set Theory
• Boolean Algebra and Logic
• Model Theory