"Self-Reference Upfront: a Study of Self-Referential Gödel Numberings."

Balthasar Grabmayr, Albert Visser (2023)

Details and statistics

DOI: 10.1017/S1755020321000393

access: closed

type: Journal Article

metadata version: 2024-03-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics