Logic
Mathematical logic
Abstraction
Formal languages
Syntax
Formal systems
Proof assistants
Type theory
Metamath
Formal proof
Theory
OMDoc