• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Глава в книге
On the Reflection Calculus with Partial Conservativity Operators

Beklemishev L. D.

In bk.: Logic, Language, Information, and Computation. WoLLIC 2017. Lecture Notes in Computer Science. Vol. 10388: Lecture Notes in Computer Science. Berlin: Springer, 2017. P. 48-67.

Препринт
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic

Savateev Y., Shamkanov D. S.

math. arxive. Cornell University, 2018

О МИАНе

Математический институт им. В. А. Стеклова Российской академии наук (сокращенно МИАН) — российский научно-исследовательский институт в области математики, один из ведущих мировых научных математических центров. Создан в соответствии с Постановлением Общего собрания АН СССР от 28 апреля 1934 года о разделении Физико-математического института на два учреждения: Институт математики и Институт физики. Институт проводит фундаментальные исследования по проблемам фундаментальной математики и ряду её приложений, а также по важным проблемам механики, математической и теоретической физики.