Publisher: Институт математики им. С.Л. Соболева СО РАН
Year: 2009
Language: Russian
Pages: 250
City: Новосибирск
III. Секция «Теория колец»......Page 5
IV. Секция «Универсальная алгебра»......Page 7
VI. Секция «Теория вычислимости»......Page 8
IX. Секция «Логические аспекты программирования»......Page 9
XI. Авторский указатель......Page 10
I. Пленарные доклады......Page 11
III. Секция «Теория колец»......Page 111
V. Секция «Теория моделей»......Page 186
VI. Секция «Теория вычислимости»......Page 196
VII. Секция «Философия математики»......Page 218
VIII. Секция «Неклассические логики и теория доказательств»......Page 222
IX. Секция «Логические аспекты программирования»......Page 239
X. Секция «Вычислимые модели, топологические пространства и анализ»......Page 243
XI. Авторский указатель......Page 247
А-Я......Page 248
A-Z......Page 250