TY  - RPRT
TI  - Expressing Second-order Sentences in Intuitionistic Dependence Logic
AU  - Fan Yang
PY  - 2013
DO  - 10.1007/s11225-013-9476-5
UR  - https://arxiv.org/abs/1302.2279
ID  - 1302.2279
ER  -