Heyting algebras (English, noun)
expansion: Heyting algebras
Senses:
glosses: plural of Heyting algebra
tags: form-of
plural
Forms: