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

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

510.6
К77Крайзель, Г.
    Исследования по теории доказательств [Текст] : Сб. статей; Пер. с англ. / Под ред. С.Ю. Маслова. — М. : Мир, 1981. — 289с.

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

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

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

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



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