L. Beklemishev, “Positive provability logic for uniform reflection principles”, Annals of Pure and Applied Logic, 2014, том 165, выпуск 1, страницы 82

Annals of Pure and Applied Logic

RUS ENG

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

	Главная страница
	О проекте
	Программное обеспечение
	Классификаторы
	Полезные ссылки
	Пользовательское соглашение

	Поиск публикаций
	Поиск ссылок

	RSS
	Текущие выпуски
	Архивные выпуски
	Что такое RSS

Annals of Pure and Applied Logic, 2014, том 165, выпуск 1, страницы 82–105
DOI: https://doi.org/10.1016/j.apal.2013.07.006 (Mi apal1)

Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)

Positive provability logic for uniform reflection principles

L. Beklemishev^abc

^a Steklov Mathematical Institute, Russian Academy of Sciences, Gubkina str. 8, 119991, Moscow, Russia
^b National Research University Higher School of Economics
^c Moscow M.V. Lomonosov State University

DOI: https://doi.org/10.1016/j.apal.2013.07.006

Финансовая поддержка	Номер гранта
Министерство образования и науки Российской Федерации
Российский фонд фундаментальных исследований
Swiss National Science Foundation	STCP-CH-RU project “Computational proof theory”
This work was supported by the Russian Foundation for Basic Research, Russian Presidential Council for Support of Leading Scientific Schools, and the STCP-CH-RU project “Computational proof theory”.

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

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

MSC: 03F45, 03B45, 03F30, 03D15

Язык публикации: английский

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

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

Эта публикация цитируется в следующих 15 статьяx:

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

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

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