TY  - RPRT
TI  - On effective undecidability and Post's problem
AU  - Bas Westerbaan
PY  - 2014
UR  - https://arxiv.org/abs/1409.1030
ID  - 1409.1030
ER  -