Post's theorem

Theorem in computability theory

Categories: