Опис документа

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

Опис документа

510.6
Л19 Лакатос, И.
Доказательства и опровержения. Как доказываются теоремы [Текст] : Пер. с англ. / И. Лакатос. — М. : Наука, 1967. — 152с.

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

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

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

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

Наявність

Установа Кількість Документ на сайті установи

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