Метатеоретические свойства натурального выводатезисы доклада

Работа с тезисами доклада


[1] Шангин В. О. Метатеоретические свойства натурального вывода // Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года. — Смирновские чтения по логике. — ИФРАН Москва, 2003. — С. 56–57.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть