The ACM Computing Classification System (1991)
F.4.1 Mathematical Logic
- Computability theory
- Computational logic
- Lambda calculus and related systems
- Logic programming
- Mechanical theorem proving
- Model theory
- Proof theory
- Recursive function theory
Return to: