TY  - RPRT
TI  - Model-theoretic characterization of intuitionistic propositional formulas
AU  - Grigory K. Olkhovikov
PY  - 2012
DO  - 10.1017/s1755020312000342
UR  - https://arxiv.org/abs/1207.4414
ID  - 1207.4414
ER  -