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.

Gentzen Relations and Contextual Deduction-Detachment Theorems

Vista senzilla d'ítem
dc.contributor.advisorJansana, Ramon
dc.contributor.authorMenéndez Turata, Guillermo
dc.date.accessioned2020-02-03T13:40:35Z
dc.date.available2020-02-03T13:40:35Z
dc.date.issued2018-06
dc.descriptionTreballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2016-2017. Tutor: Ramon Jansana Ferrerca
dc.format.extent119 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://hdl.handle.net/2445/149262
dc.language.isoengca
dc.rightscc-by-nc-nd (c) Menéndez Turata, Guillermo, 2018
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.sourceMàster Oficial - Pure and Applied Logic / Lògica Pura i aplicada
dc.subject.classificationLògica algebraica
dc.subject.classificationLògica matemàtica
dc.subject.classificationTreballs de fi de màster
dc.subject.otherAlgebraic logic
dc.subject.otherMathematical logic
dc.subject.otherMaster's theses
dc.titleGentzen Relations and Contextual Deduction-Detachment Theoremsca
dc.typeinfo:eu-repo/semantics/masterThesisca

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
tfm_guillermo_menendez_turata.pdf
Mida:
1.1 MB
Format:
Adobe Portable Document Format
Descripció:
Descarregar

Col·leccions

Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada