TY  - RPRT
TI  - On the Mints Hierarchy in First-Order Intuitionistic Logic
AU  - Aleksy Schubert
AU  - Paweł Urzyczyn
AU  - Konrad Zdanowski
PY  - 2016
DO  - 10.2168/lmcs-12(4:11)2016
UR  - https://arxiv.org/abs/1610.02675
ID  - 1610.02675
ER  -