Independent Combinatoric Worm Principles for First Order Arithmetic and Beyond
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Joost J. Joosten
| Author: | |
|---|---|
| Format: | master thesis |
| Publication Date: | 2020 |
| Country: | España |
| Institution: | Universidad de Barcelona |
| Repository: | Dipòsit Digital de la UB |
| OAI Identifier: | oai:diposit.ub.edu:2445/170755 |
| Online Access: | https://hdl.handle.net/2445/170755 |
| Access Level: | Open access |
| Keyword: | Lògica matemàtica Aritmètica Treballs de fi de màster Mathematical logic Arithmetic Master's theses |
| Summary: | Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona, Curs: 2019-2020, Tutor: Joost J. Joosten |
|---|