How would you define heyting-algebra? Add your definition here.

comments powered by Disqus