Leo Esakia on Duality in Modal and Intuitionistic Logics Mais livros de Guram Bezhanishvili

Heyting Algebras

2019