Turing Computability: Theory and Applications

GPTKB entity