TY  - RPRT
TI  - A Self-Reflecting Formal Language
AU  - Mikhail Patrakeev
PY  - 2024
UR  - https://arxiv.org/abs/2302.09077
ID  - 2302.09077
ER  -