E. A. Kolmakov, L. D. Beklemishev, “Axiomatizing provable $n$-provability”, Doklady Akademii Nauk, 2018, Volume 483, Number 3, Pages 244

Doklady Akademii Nauk

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Doklady Akademii Nauk, 2018, Volume 483, Number 3, Pages 244–248
DOI: https://doi.org/10.31857/S086956520003238-4 (Mi dan40616)

DOI: https://doi.org/10.31857/S086956520003238-4

Funding agency	Grant number
Russian Science Foundation	14-50-00005
This study was performed at Steklov Mathematical Institute of the Russian Academy of Sciences and was supported by the Russian Science Foundation, project no. 14-50-00005.

Received: 29.06.2018

English version:
Doklady Mathematics, 2018, Volume 98, Issue 3, Pages 582–585
DOI: https://doi.org/10.1134/S1064562418070153

Bibliographic databases:

Document Type: Article

Language: Russian

Linking options:

https://www.mathnet.ru/eng/dan40616

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	120