Аксиоматизация доказуемой $n$-доказуемости

Е. А. Колмаков, Л. Д. Беклемишев

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

Поступило: 29.06.2018

DOI: 10.31857/S086956520003238-4

 Англоязычная версия: Doklady Mathematics, 2018, 98:3, 582–585

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

• 
• 
•