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

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

510.6
Т15Такеути, Г.
    Теория доказательств [Текст] : Пер. с англ. / Под ред. С.И. Адяна. — М. : Мир, 1978. — 412с.

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

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

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

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



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