Charles Explorer logo
🇬🇧

Finitely generated relatively universal varieties of Heyting algebras

Publication at Faculty of Mathematics and Physics |
1996