RUS
ENG
Полная версия
ЖУРНАЛЫ
// Philosophical Transactions of the Royal Society A. Mathematical, Physical and Engineering Sciences
// Архив
Philos. Trans. R. Soc. A, 2023, том 381,
страницы
20220020–11
(Mi phila2)
Modern perspectives in Proof Theory
J. P. Aguilera
ab
,
F. Pakhomov
bc
,
A. Weiermann
b
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
Поступила в редакцию:
06.03.2023
Принята в печать:
06.03.2023
Язык публикации:
английский
DOI:
10.1098/rsta.2022.0020
Реферативные базы данных:
©
МИАН
, 2024
