The ACM Computing Classification System (1998)
F.4.1 Mathematical Logic
- Computability theory
- Computational logic
- Lambda calculus and related systems
- Logic and constraint programming
- Mechanical theorem proving
- Modal logic
- Model theory
- Proof theory
- Recursive function theory
- Set theory
- Temporal logic