TY  - RPRT
TI  - From Tarski to Gödel. Or, how to derive the Second Incompleteness Theorem from the Undefinability of Truth without Self-reference
AU  - Albert Visser
PY  - 2018
UR  - https://arxiv.org/abs/1803.03937
ID  - 1803.03937
ER  -