Integrating intuitionistic and classical theories | Publicación