Е. А. Колмаков, Л. Д. Беклемишев, “Аксиоматизация доказуемой $n$-доказуемости”, Доклады Академии наук, 2018, том 483, номер 3, страницы 244

Доклады Академии наук

RUS ENG

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

Доклады Академии наук, 2018, том 483, номер 3, страницы 244–248
DOI: https://doi.org/10.31857/S086956520003238-4 (Mi dan40616)

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

Финансовая поддержка	Номер гранта
Российский научный фонд	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.

Поступило: 29.06.2018

Англоязычная версия:
Doklady Mathematics, 2018, Volume 98, Issue 3, Pages 582–585
DOI: https://doi.org/10.1134/S1064562418070153

Реферативные базы данных:

Тип публикации: Статья

Образцы ссылок на эту страницу:

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

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

Статистика просмотров:
Страница аннотации:	121

Обратная связь: