Enrico Moriconi
From MaRDI portal
Person:2080592
Available identifiers
zbMath Open moriconi.enricoWikidataQ87401466 ScholiaQ87401466MaRDI QIDQ2080592
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q5871518 | 2023-01-20 | Paper |
| On Lakatos's decomposition of the notion of proof | 2022-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3176740 | 2018-07-23 | Paper |
| EARLY STRUCTURAL REASONING. GENTZEN 1932 | 2015-12-30 | Paper |
| Steps towards a proof-theoretical semantics | 2015-03-27 | Paper |
| On Inversion Principles | 2008-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367206 | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4383771 | 1998-11-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733850 | 1989-01-01 | Paper |
Research outcomes over time
This page was built for person: Enrico Moriconi
