TY - RPRT TI - Epimorphism surjectivity in varieties of Heyting algebras AU - T. Moraschini AU - J. J. Wannenburg PY - 2020 DO - 10.1016/j.apal.2020.102824 UR - https://arxiv.org/abs/1908.00287 ID - 1908.00287 ER -