Calculating self-referential statements
Tom 109 / 1980
Fundamenta Mathematicae 109 (1980), 189-210
DOI: 10.4064/fm-109-3-189-210