Uniform self-reference

DOI10.1007/BF00370432zbMath0613.03027MaRDI QIDQ1088657

Raymond M. Smullyan

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Self-referential sentences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Unnamed Item
• Unnamed Item
• Fixed points and self-reference
• Theory of Formal Systems. (AM-47)
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Languages in which self reference is possible

This page was built for publication: Uniform self-reference