Arithmetic analogues of McAloon's unique Rosser sentences

Craig Smorynski. Arithmetic analogues of McAloon's unique Rosser sentences. Arch. Math. Log., 28(1):1-21, 1989. [doi]

Abstract

Abstract is missing.