Сибирскийматематическийжурнал. 2002 г. Том43. № 2

Сибирский математический журнал. 2002 г. Том 43. № 2
выпуск журнала/газеты

Содержание

  • Сохранение допустимости правил вывода в логиках родственных S4.2. — С. 11.
    В. М. Левчук, Г. С. Сулейманова
  • Сохранение допустимости правил вывода логик, родственных &S4.2&. — С. 446-453.
    В. В. Рыбаков, В. В. Римацкий

Показать ещё