518 М 34         Математическая теория логического вывода [Текст] : сборник переводов / под ред.: А. В. Идельсона, Г. Е. Минца. - М. : Наука, 1967. - 350 с. - (Математическая логика и основания математики). - Б. ц.РУБ 518 Дод.точки доступу: Идельсон, А. В. \ред.\; Минц, Г. Е. \ред.\ Примірників всього: 1 ав (1) Свободны: ав (1)