Free Heyting Algebras: Revisited
Bezhanishvili N.  Gehrke M.
Lecture Notes in Computer Science : . Vol. 5728 (2009), s.251-266
článok z periodika
(4) - článok