Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

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

- Ключові слова:

математична логіка, математическая логика ; секвенціальні обчислення, секвенциальные исчисления

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

  • ББК науковий // Дискретна математика
  • ББК науковий // Основи математики та математична логіка



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