TY  - RPRT
TI  - Sprague-Grundy theory in bounded arithmetic
AU  - Satoru Kuroda
PY  - 2016
UR  - https://arxiv.org/abs/1609.02408
ID  - 1609.02408
ER  -