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
