Epub 2X O Varieties Of Heyting Algebras Not Generated By Their Finite Members 1977