Font, Josep M.2020-03-022020-03-021986https://hdl.handle.net/2445/151659Preprint enviat per a la seva publicació en una revista científica: Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 1986, volume 32, num. 31-34. [https://doi.org/10.1002/malq.19860323104]8 p.application/pdfeng(c) Josep M. Font, 1986Matemàtica intuïcionistaUniversitat de Barcelona. Institut de MatemàticaSome remarks on Heyting matricesinfo:eu-repo/semantics/articleDL B 4534-1986info:eu-repo/semantics/openAccess