51 Мате     Математическая теория логического вывода [Текст] / Идельсон А.В. — Москва : Наука, 1967. — 351с.

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