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

 

510.6(03)
С74    Справочная книга по математической логике [Текст]. Теория доказательств и конструктивная математика : В 4-х ч.; Пер. с англ. / Под ред. Д. Барвайса. — М. : Наука, 1983. — 391с.


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

теорія доведення, теория доказательства ; математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik ; правило логічного доказу, правило логического доказательства ; довідники, справочники, handbooks, reference, guides, Nachschlagbuch, Handbuch ; математика, mathematics, mathematique, matematyka,Mathematik

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

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



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