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

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

510.6
Ч-43Чень, Ч.
    Математическая логика и автоматическое доказательство теорем [Текст] : Пер. с англ. / Под ред. Ю.С. Маслова. — М. : Мысль, 1983. — 358с.

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

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

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

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



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