"2^(x o) varieties of Heyting algebras not generated by their finite members" - читать интересную книгу автора (Blok W.J.)