|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Аррудатезисы доклада
- Автор: Шангин В.О.
- Сборник: “Воображаемая логика” Н. А. Васильева и современные неклассические логики. Материалы Международной научной конференции (Казань, 11 – 15 октября 2010 г.)
- Серия: Труды Математического центра имени Н.И. Лобачевского
- Том: 41
- Тезисы
- Год издания: 2010
- Место издания: Казан. мат. об-во Казань
- Первая страница: 106
- Последняя страница: 108
- Добавил в систему: Шангин Василий Олегович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Kazan_tezisyi.pdf | 133,8 КБ | 3 июля 2013 [shangin] |