Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
1 file | 7.07 MB
Add to list
  1. Search results
  2. Modern perspectives in Proof Theory

Modern perspectives in Proof Theory

J. P. Aguilera (UGent) , Fedor Pakhomov (UGent) and Andreas Weiermann (UGent)
(2023) PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES. 381(2248).
Author
Organization
Keywords
General Physics and Astronomy, General Engineering, General Mathematics, SUBSYSTEMS, RECURSION

Downloads

  • Download
    RSTAModernPerspectives.pdf
    • full text (Published version)
    • |
    • open access
    • |
    • PDF
    • |
    • 7.07 MB

Citation

Please use this url to cite or link to this publication:

MLA
Aguilera, J. P., et al. “Modern Perspectives in Proof Theory.” PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, vol. 381, no. 2248, 2023, doi:10.1098/rsta.2022.0020.
APA
Aguilera, J. P., Pakhomov, F., & Weiermann, A. (2023). Modern perspectives in Proof Theory. https://doi.org/10.1098/rsta.2022.0020
Chicago author-date
Aguilera, J. P., Fedor Pakhomov, and Andreas Weiermann. 2023. “Modern Perspectives in Proof Theory.” PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES. https://doi.org/10.1098/rsta.2022.0020.
Chicago author-date (all authors)
Aguilera, J. P., Fedor Pakhomov, and Andreas Weiermann. 2023. “Modern Perspectives in Proof Theory.” PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES. doi:10.1098/rsta.2022.0020.
Vancouver
1.
Aguilera JP, Pakhomov F, Weiermann A. Modern perspectives in Proof Theory. Vol. 381, PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES. 2023.
IEEE
[1]
J. P. Aguilera, F. Pakhomov, and A. Weiermann, “Modern perspectives in Proof Theory,” PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, vol. 381, no. 2248. 2023.
@misc{01GZ1BPA7M10TBY0CJ92J6CYTN,
  articleno    = {{20220020}},
  author       = {{Aguilera, J. P. and Pakhomov, Fedor and Weiermann, Andreas}},
  issn         = {{1364-503X}},
  keywords     = {{General Physics and Astronomy,General Engineering,General Mathematics,SUBSYSTEMS,RECURSION}},
  language     = {{eng}},
  number       = {{2248}},
  pages        = {{11}},
  series       = {{PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES}},
  title        = {{Modern perspectives in Proof Theory}},
  url          = {{http://doi.org/10.1098/rsta.2022.0020}},
  volume       = {{381}},
  year         = {{2023}},
}
Altmetric
View in Altmetric
Web of Science
Times cited: