Зведений каталог бібліотек Харкова

 

Пынько, А. П.
    Алгебраические критерии алгебраизуемости секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А.П. Пынько // Доповіді Національної Академії наук України  : науково-теоретичний журнал / Президія НАН України. — С. 88-93.


- Є складовою частиною документа:

- Теми документа

  • УДК // Математична логіка



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт