Хомич, В. И.
    О свойстве простой подстановки для суперинтуиционистских и модальных пропозициональных логик [Текст] / В. И. Хомич // Доклады Академии наук. - 2008. - Т. 423, N 6, декабрь. - С. 740-742. . - Библиогр.: с. 742 (14 назв. )
УДК
ББК 22.12
Рубрики: Математика
   Математическая логика

Кл.слова (ненормированные):
простая подстановка -- модальная логика -- модальное исчисление -- модальные пропозициональные формулы -- топологическая булева алгебра
Аннотация: Изучены свойства простой подстановки.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)