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 Treballs de fi de màster Algebraic logic Mathematical logic Master's 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 | Size | Format | |
|---|---|---|---|---|
| tfm_guillermo_menendez_turata.pdf | 1.13 MB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License
