Please use this identifier to cite or link to this item: http://hdl.handle.net/2445/149262
Title: Gentzen Relations and Contextual Deduction-Detachment Theorems
Author: Menéndez Turata, Guillermo
Director/Tutor: Jansana, Ramon
Keywords: Lògica algebraica
Lògica matemàtica
Tesis de màster
Algebraic logic
Mathematical logic
Masters theses
Issue Date: Jun-2018
Note: Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2016-2017. Tutor: Ramon Jansana Ferrer
URI: http://hdl.handle.net/2445/149262
Appears in Collections:Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Files in This Item:
File Description SizeFormat 
tfm_guillermo_menendez_turata.pdf1.13 MBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons