|
Сибирские электронные математические известия, 2006, том 3, страницы 312–334
(Mi semr207)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Статьи
О канонических формулах для расширений минимальной логики
М. В. Стукачева Институт математики им. С. Л. Соболева СО РАН
Аннотация:
We introduce a canonical formulas for the extensions of minimal logic.
Поступила 25 июня 2006 г., опубликована 25 августа 2006 г.
Образец цитирования:
М. В. Стукачева, “О канонических формулах для расширений минимальной логики”, Сиб. электрон. матем. изв., 3 (2006), 312–334
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr207 https://www.mathnet.ru/rus/semr/v3/p312
|
Статистика просмотров: |
Страница аннотации: | 247 | PDF полного текста: | 58 | Список литературы: | 47 |
|