TY  - RPRT
TI  - Varieties of strictly n-generated Heyting algebras
AU  - Tapani Hyttinen
AU  - Davide Emilio Quadrellaro
PY  - 2023
UR  - https://arxiv.org/abs/2306.12250
ID  - 2306.12250
ER  -