The undecidability of self-embedding for
β
Friedrich Otto
π
Article
π
1986
π
Elsevier Science
π
English
β 454 KB