Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 годасборник
Статьи, опубликованные в сборнике
-
-
-
-
2011
Об отсутствии интерполяционного свойства у логик I3,ω, I3,1 и всех логик между ними
-
Попов В.М.
-
в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 29-31
-
редакторы
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Карпенко Александр Степанович,
Маркин Владимир Ильич
-
-
2011
Об отсутствии интерполяционного свойства у логики PContPComp
-
Знаменская Н.А.,
Попов В.М.
-
в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 19-21
-
редакторы
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Карпенко Александр Степанович,
Маркин Владимир Ильич
-
-
-
-
2011
Проектная открытость в будущее и творчество В.А. Смирнова
-
Сорина Г.В.,
Грифцова И.Н.
-
в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 196-196
-
редакторы
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Карпенко Александр Степанович,
Маркин Владимир Ильич
-