problems/sets
recursive
recursively enumerable
formal languages wip
Undecidability of the Halting problem