Форма документа : Однотомне видання Шифр видання : 22.12 / 51/М 31 Автор(и) : Маслов, Сергей Юрьевич Назва : Теория дедуктивных систем и ее применения Вихідні дані : Москва: Радио и связь, 1986 Кільк.характеристики :135, [1] с.: ил. Примітки : Библиогр.: с. 129-131 Ціна : Б.ц. Предметні рубрики: Математична логіка Ключові слова (''Вільн.індекс.''): вдетн Примірники : всього : ВДЕТПСГН(1), ВЗ(1) Вільні : ВДЕТПСГН(1), ВЗ(1) |