TY  - RPRT
TI  - How unprovable is Rabin's decidability theorem?
AU  - Leszek Aleksander Kołodziejczyk
AU  - Henryk Michalewski
PY  - 2015
UR  - https://arxiv.org/abs/1508.06780
ID  - 1508.06780
ER  -