TY  - RPRT
TI  - Classical propositional logic and decidability of variables in intuitionistic propositional logic
AU  - Hajime Ishihara
PY  - 2014
DO  - 10.2168/lmcs-10(3:1)2014
UR  - https://arxiv.org/abs/1405.0091
ID  - 1405.0091
ER  -