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

 

А
59199Рогава, М. Г.
    Секвенциальные варианты прикладных исчилений предикатов без структурных правил вывода [Текст] : Автореф... канд. физ. мат.наук: / Рогава М. Г.; АН СССР, Лен. от-ние мат. ин-т. — Тбилиси, 1968. — 10л.


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

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



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