TY  - RPRT
TI  - On the logical strengths of partial solutions to mathematical problems
AU  - Laurent Bienvenu
AU  - Ludovic Patey
AU  - Paul Shafer
PY  - 2016
DO  - 10.1112/tlm3.12001
UR  - https://arxiv.org/abs/1411.5874
ID  - 1411.5874
ER  -