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