What is Logic

History 1/2

History 2/2

Euclid's contribution

Euclid's axioms

Early history

19th century

Foundational theories

20th century

Set theory

Set theory and paradoxes

Axiom of choice

Löwenheim–Skolem theorem

Kurt Gödel

Formal logical systems

Propositional Logic

First-order logic

Other classical logics

Modal logic

Intuitionistic logic

Mathematical Constructivism

Model theory

Recursion theory

Proof theory

Logic in computer science

Quotes