TY  - RPRT
TI  - Shepherdson's theorems for fragments of open induction
AU  - Jana Glivická
AU  - Petr Glivický
PY  - 2017
UR  - https://arxiv.org/abs/1701.02001
ID  - 1701.02001
ER  -