Leo Esakia on Duality in Modal and Intuitionistic Logics Guram Bezhanishvili: другие книги

Heyting Algebras

2019