Embeddings of Heyting algebras / D.H.J. de Jongh, A. Visser
mainEntity
Embeddings of Heyting algebras / D.H.J. de Jongh, A. Visser
about
author
bookEdition
Rev. version
contributor
description
Oorspr. uitg.: 1993. - (Logic Group preprint series, ISSN 0929-0710 ; no. 97)
inLanguage
isbn
9039310025
mainEntityOfPage
name
Embeddings of Heyting algebras
numberOfPages
publication
sameAs
label
Embeddings of Heyting algebras / D.H.J. de Jongh, A. Visser