10 Logic and Foundations
11 Traditional logic. Modal logic. Temporal logic. Dynamical and other logics
12 Mathematical logic. Symbolic logic. Semantics. Model theory. Nonstandard analysis
13 Set theory. Foundations of arithmetics. Algebra and analysis
14 Metamathematics. Proof theory. Axiomatics
15 Philosophy of mathematics. Philosophy of sciences. Foundations of mathematics
16 Computable functions (Recursive function theory). Recursive arithmetics. Computability. Recursion theory
17 Decision problems
18 Automata (see also 252.2) Mathematical machines and languages. Artificial intelligence (see also 236).
See also: Computer Science - Subject Classification System