The 1998 ACM Computing Classification System
Toggle navigation
Home
Advanced search
About...
My account
Mathematical Logic
Home
Theory of Computation
MATHEMATICAL LOGIC AND FORMAL LANGUAGES
Mathematical Logic
Term
Metadata
Mathematical Logic
F.4.1
Broader Terms
BT
↑
MATHEMATICAL LOGIC AND FORMAL LANGUAGES
More specific terms
NT3
↓
Computability theory
NT3
↓
Computational logic
NT3
↓
Lambda calculus and related systems
NT3
↓
Logic and constraint programming
NT3
↓
Mechanical theorem proving
NT3
↓
Modal logic
NT3
↓
Model theory
NT3
↓
Proof theory
NT3
↓
Recursive function theory
NT3
↓
Set theory
NT3
↓
Temporal logic
Related terms
RT
⇆
Models of Computation
RT
⇆
Automatic Programming
RT
⇆
Deduction and Theorem Proving
RT
⇆
Knowledge Representation Formalisms and Methods
Date of creation
30-Dec-2011
Modified
02-Jan-2012
Accepted term
30-Dec-2011
Descendant terms
11
ARK
ark:/99152/t3mr9z6vwpo65k
More specific terms
11
Alternative terms
0
Related terms
4
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search