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

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


[1] Шангин В. О. Новое доказательство теоремы о семантической непротиворечивости системы натурального вывода // Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции, 24-26 июня 2004 г. — Современная логика. — СПбГУ Санкт-Петербург, 2004. — С. 547–549.

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