KnowraComputability theoryLinked fromLinked fromThe 28 pages that link to Computability theory, each with the reason it gives.All 28Broader topic 2Related 7Narrower topic 18Compared with 1Proof theoryCompared with: It focuses on effective procedures, though proof systems can encode computational limits.