TY  - RPRT
TI  - Cut-eliminability in second order logic calculi
AU  - Toshiyasu Arai
PY  - 2017
UR  - https://arxiv.org/abs/1701.00929
ID  - 1701.00929
ER  -