Зведений каталог бібліотек Тернополя

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

517.11
К49Клини, С. К.
    Математическая логика [Текст] = Mathematical Logic / пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. — М. : Мир, 1973. — 480 с.

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

предикат ; алгоритм, algorithm ; алгоритмічна логіка, алгоритмическая логика, algorithmic logic

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

  • ББК // 22.122 Математична логіка
  • Алфавітно-предметний покажчик до ББК // Математична логіка 22.122
  • Алфавітно-предметний покажчик до ББК // Теорія алгоритмів 22.127



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Тернопільського національного педагогічного університету імені Володимира Гнатюка 1 Перейти на сайт