Trees and spectra of Heyting algebras | Publicación