|
|
ДС68921
Пынько, Алексей Павлович.
Алгебраическая интерпретация пропозициональных секвенциальных исчислений [Текст] : дис... канд. физ.- мат. наук: 01.01.08 / Пынько Алексей Павлович ; Ин-т кибернетики им. В. М. Глушкова НАН Украины. - К., 2000. - 104 с. - Библиогр.:с.102-104Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)
Видання зберігається у :
Основний фонд
|
|