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

 

22.1
С74    Справочная книга по математической логике [Текст] : В 4 ч.;Пер. с англ.Г.В.Давыдова, Г.Е.Минца / Под ред.Дж.Барвайса, Ю.Л.Ершова, Е.А.Палютина, А.Д.Тайманова. — М. : Наука, 1983. — 392.


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

математична модель, математическая модель ; математична логіка, математическая логика ; математична логіка, математическая логика

- Анотація:

Это попытка авторов рассказать о некоторых современных достижениях в логике

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

  • ББК // Основи математики. Математична логіка.



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