TY  - RPRT
TI  - Truth and Feasible Reducibility
AU  - Ali Enayat
AU  - Mateusz Łełyk
AU  - Bartosz Wcisło
PY  - 2019
DO  - 10.1017/jsl.2019.24
UR  - https://arxiv.org/abs/1902.00392
ID  - 1902.00392
ER  -