TY - RPRT TI - A recursive formula for the number of semi-Heyting algebras definable on a finite chain AU - Luiz F. Monteiro AU - Juan Manuel Cornejo AU - Ignacio D. Viglizzo PY - 2017 DO - 10.1002/malq.201900070 UR - https://arxiv.org/abs/1710.02408 ID - 1710.02408 ER -