SSFT
Level 0:
Introduction
Level 1:
Propositional logic
Level 2:
Bookeeping
Level 3:
First-order logic and equality
Level 4:
SSFT