Embedding of Heyting Algebras / D.H.J. de Jongh, A. Visser
mainEntity
Embedding of Heyting Algebras / D.H.J. de Jongh, A. Visser
about
author
contributor
inLanguage
isbn
9039300992
mainEntityOfPage
name
Embedding of Heyting Algebras
numberOfPages
publication
sameAs
label
Embedding of Heyting Algebras / D.H.J. de Jongh, A. Visser