Computational complexity theory
Home
>
Philosophy
>
Logic
>
Inference
>
Computational complexity theory
It analyzes the computational resources required to solve logical problems.