В1 М34     Математическая теория логического вывода [Текст] : сборник переводов / под ред.: Идельсона А. В. и Минца Г. Е. — Москва : Наука, 1967. — 352 с.

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