TY  - RPRT
TI  - Model-theoretic characterization of predicate intuitionistic formulas
AU  - Grigory K. Olkhovikov
PY  - 2012
DO  - 10.1093/logcom/ext014
UR  - https://arxiv.org/abs/1202.1195
ID  - 1202.1195
ER  -