TY  - RPRT
TI  - On Rosser theories
AU  - Yong Cheng
PY  - 2024
DO  - 10.1093/logcom/exae085
UR  - https://arxiv.org/abs/2401.11749
ID  - 2401.11749
ER  -