Библиотека диссертаций Украины Полная информационная поддержка
по диссертациям Украины
  Подробная информация Каталог диссертаций Авторам Отзывы
Служба поддержки




Я ищу:
Головна / Фізико-математичні науки / Математична логіка, теорія алгоритмів і дискретна математика


Пынько Алексей Павлович. Алгебраическая интерпретация пропозициональных секвенциальных исчислений: Дис... канд. физ.- мат. наук: 01.01.08 / Институт кибернетики им. В.М.Глушкова НАН Украины. - К., 2000. - 104с. - Библиогр.:с.102-104.