TY  - RPRT
TI  - Undecidable problems: a sampler
AU  - Bjorn Poonen
PY  - 2014
UR  - https://arxiv.org/abs/1204.0299
ID  - 1204.0299
ER  -