TY  - RPRT
TI  - Paradoxes of rational agency and formal systems that verify their own soundness
AU  - Nik Weaver
PY  - 2013
UR  - https://arxiv.org/abs/1312.3626
ID  - 1312.3626
ER  -