TY  - RPRT
TI  - On the free Heyting algebra extension of a Hilbert algebra
AU  - J. L. Castiglioni
AU  - H. J. San Martín
PY  - 2017
UR  - https://arxiv.org/abs/1705.03856
ID  - 1705.03856
ER  -