TY  - RPRT
TI  - Reviewing Goedel's and Rosser's meta-reasoning of undecidability
AU  - Bhupinder Singh Anand
PY  - 2003
UR  - https://arxiv.org/abs/math/0204199
ID  - math/0204199
ER  -