Cargando…
Modern perspectives in Proof Theory
| Autores principales: | , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
The Royal Society
2023
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10083099/ https://www.ncbi.nlm.nih.gov/pubmed/37031704 http://dx.doi.org/10.1098/rsta.2022.0020 |
| _version_ | 1785021435284029440 |
|---|---|
| author | Aguilera, J. P. Pakhomov, F. Weiermann, A. |
| author_facet | Aguilera, J. P. Pakhomov, F. Weiermann, A. |
| author_sort | Aguilera, J. P. |
| collection | PubMed |
| description | |
| format | Online Article Text |
| id | pubmed-10083099 |
| institution | National Center for Biotechnology Information |
| language | English |
| publishDate | 2023 |
| publisher | The Royal Society |
| record_format | MEDLINE/PubMed |
| spelling | pubmed-100830992023-04-10 Modern perspectives in Proof Theory Aguilera, J. P. Pakhomov, F. Weiermann, A. Philos Trans A Math Phys Eng Sci Introduction The Royal Society 2023-05-29 2023-04-10 /pmc/articles/PMC10083099/ /pubmed/37031704 http://dx.doi.org/10.1098/rsta.2022.0020 Text en © 2023 The Author(s) https://creativecommons.org/licenses/by/4.0/Published by the Royal Society under the terms of the Creative Commons Attribution License http://creativecommons.org/licenses/by/4.0/ (https://creativecommons.org/licenses/by/4.0/) , which permits unrestricted use, provided the original author and source are credited. |
| spellingShingle | Introduction Aguilera, J. P. Pakhomov, F. Weiermann, A. Modern perspectives in Proof Theory |
| title | Modern perspectives in Proof Theory |
| title_full | Modern perspectives in Proof Theory |
| title_fullStr | Modern perspectives in Proof Theory |
| title_full_unstemmed | Modern perspectives in Proof Theory |
| title_short | Modern perspectives in Proof Theory |
| title_sort | modern perspectives in proof theory |
| topic | Introduction |
| url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10083099/ https://www.ncbi.nlm.nih.gov/pubmed/37031704 http://dx.doi.org/10.1098/rsta.2022.0020 |
| work_keys_str_mv | AT aguilerajp modernperspectivesinprooftheory AT pakhomovf modernperspectivesinprooftheory AT weiermanna modernperspectivesinprooftheory |