TY  - RPRT
TI  - The Berry-like Sentence in the First-order Peano Arithmetic System with the Operation of Factorial
AU  - T. Mei
PY  - 2006
UR  - https://arxiv.org/abs/math/0607459
ID  - math/0607459
ER  -