Mathematical Logic
Mathematical Logic F.4.1
Broader Terms
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
