Logic & foundations

[1927/73%]

Subtopics

Set theory[1050/63%]
Propositional logic[630/85%]
Predicate logic[377/78%]
Model theory[225/86%]
Proof theory[82/79%]
Formalizing statements in logic[53/66%]
Proof systems: natural deduction and sequent calculus[29/86%]
Syntax of logical formulas and terms[14/64%]
Axiomatic foundations of geometry[3/0%]