Logic
Philosophy
Abstraction
Logic in computer science
Proof theory
Formal languages
Syntax
Formal methods
Mathematical proof
Mathematical logic
Eiffel
Formal proof