TY  - RPRT
TI  - Boolos-style proofs of limitative theorems
AU  - Gyorgy Sereny
PY  - 2003
UR  - https://arxiv.org/abs/math/0309345
ID  - math/0309345
ER  -