In "Languages in which self reference is possible"(Journal of symbolic
logic) Raymond Smullyan makes reference to a paper titled: "Systems of
protosyntax self-applied". In it he applies the norm function and
concatenation to a form of protosyntax self-applied. What is the
reference for the article???????
Thank you,
Natochdag