TY - RPRT TI - Coding Methods in Computability Theory and Complexity Theory AU - Andre Nies PY - 2013 UR - https://arxiv.org/abs/1308.6399 ID - 1308.6399 ER -