Category:Computability Theory

From ProofWiki
Jump to: navigation, search

Computability theory is a branch of mathematical logic which concerns itself with the algorithmic implementation of mathematical proofs.

Subcategories

This category has only the following subcategory.

U

Retrieved from "http://www.proofwiki.org/w/index.php?title=Category:Computability_Theory&oldid=14242"
Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense