Profiniteness and representability of spectra of Heyting algebras | Publicación