Self-Reference in Arithmetic I

Volker Halbach, Albert Visser. Self-Reference in Arithmetic I. Rew. Symb. Logic, 7(4):671-691, 2014. [doi]

Abstract

Abstract is missing.