OFFSET
1,1
LINKS
Peter Freyd, On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras, July 17 2017.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Peter Luschny, Nov 13 2018
STATUS
approved