TY  - RPRT
TI  - Model-completion of varieties of co-Heyting algebras
AU  - Luck Darnière
AU  - Markus Junker
PY  - 2017
UR  - https://arxiv.org/abs/1001.1663
ID  - 1001.1663
ER  -