From truth tables to Gödel and Turing: propositional and predicate logic, normal forms and resolution, natural deduction, the completeness and compactness theorems, the incompleteness theorems, and the limits of computation.
Free to start · adaptive placement finds your level · reviews timed to your own forgetting.
Every idea is taught with motivation and a worked example before the drills, and an FSRS spaced-repetition engine schedules each review for the day its model predicts you would forget it. A short placement check finds what you already know, so you start Mathematical Logic exactly where it's useful.