Mathematical analysis
Mathematics
Analysis
Automated theorem proving
Logic programming
Logical truth
Propositional calculus
Substitution
Exponentiation
Distribution
Derivative