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

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

510.6(06)
М34    Математическая логика и теория алгоритмов [Текст] : труды ин-та математики / АН СССР, Сиб. отд-ние, Ин-т математики ; отв. ред. С. Л. Соболев. — Новосибирск : Наука, 1982. — 176с.

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

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

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

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



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