@BezhanishviliBezhanishvili2017LFRoHAaCF

Citation

• Title: Locally Finite Reducts of Heyting Algebras and Canonical Formulas
• Author: Guram Bezhanishvili, Nick Bezhanishvili
• Year: 2017
• Published in: Notre Dame Journal of Formal Logic