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

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

510.6(07)
К71Косовский, Н. К.
    Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : Учебн. пособие / Н.К. Косовский. — Л. : ЛГУ, 1981. — 192с.

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

математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik ; алгоритми, алгоритмы, algorithms, Algorithmen, algorithmes

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

  • УДК // Математична логіка



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 16 Перейти на сайт