Зведений каталог бібліотек Львова

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

517.11(031)
С741    Справочная книга по математической логике. В 4-х частях [Текст] : справочная книга / под ред. Дж. Барвайса. Пер. с англ. С. Г. Дворникова, И. А. Лаврова. Под ред. Ю. Л. Ершова. — М. : Наука, 1982. — 360 с.

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

довідники, справочники, handbooks ; логіка, логика, logika, logic ; логічне програмування, логическое программирование ; математична логіка, математическая логика

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

  • УДК // Вступ до аналізу
  • УДК // Логістика. Символічна логіка. Математична логіка. Логічне числення
  • УДК // Математична логіка



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