|
Philosophical Transactions of the Royal Society A. Mathematical, Physical and Engineering Sciences, 2023, Volume 381, Pages 20220020–11 DOI: https://doi.org/10.1098/rsta.2022.0020
(Mi phila2)
|
|
|
|
Modern perspectives in Proof Theory
J. P. Aguileraab, F. Pakhomovbc, A. Weiermannb a Institute of Discrete Mathematics and Geometry, Vienna Universityof Technology, Wiedner Hauptstraße 8–10, 1040 Vienna, Austria
b Department of Mathematics, University of Ghent, Krijgslaan281-S8, B9000 Ghent, Belgium
c Division of Mathematical Logic, Steklov Mathematical Institute ofthe Russian Academy of Sciences, Ulitsa Gubkina 8, 117966 Moscow,Russia
Received: 06.03.2023 Accepted: 06.03.2023
Linking options:
https://www.mathnet.ru/eng/phila2
|
Statistics & downloads: |
Abstract page: | 4 |
|