Anfonwch hwn fel neges destun: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra