Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Some remarks on Heyting matrices

dc.contributor.authorFont, Josep M.
dc.date.accessioned2020-03-02T12:20:37Z
dc.date.available2020-03-02T12:20:37Z
dc.date.issued1986
dc.descriptionPreprint 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]ca
dc.format.extent8 p.
dc.format.mimetypeapplication/pdf
dc.identifier.dlDL B 4534-1986
dc.identifier.urihttps://hdl.handle.net/2445/151659
dc.language.isoengca
dc.publisherUniversitat de Barcelonaca
dc.relation.isformatofReproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 31.28]
dc.relation.ispartofseriesMathematics Preprint Series; 39ca
dc.rights(c) Josep M. Font, 1986
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca
dc.sourcePreprints de Matemàtiques - Mathematics Preprint Series
dc.subject.classificationMatemàtica intuïcionista
dc.subject.otherUniversitat de Barcelona. Institut de Matemàtica
dc.titleSome remarks on Heyting matricesca
dc.typeinfo:eu-repo/semantics/articleca
dc.typeinfo:eu-repo/semantics/submittedVersion

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Carregant...
Miniatura
Nom:
MPS_N039.pdf
Mida:
461.93 KB
Format:
Adobe Portable Document Format
Descripció: