51 Чень Чень, Ч.     Математеческая логика и автоматическое доказательство теорем [Текст] / Ч. Чень. — Москва : Наука, 1983. — 798 с.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . м/м - механіко-математичний ф-т	1	Перейти на сайт
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н - наукова	2	Перейти на сайт