|
Глушков В.М./ВА900 Математическая теория логического вывода [Текст] : сб. пер. / под ред.: А. В. Идельсона, Г. Е. Минца. - М. : Наука, Гл. ред. физ.-мат. лит., 1967. - 350 с. - (Математическая логика и основания математики). - Бібліогр.: с. 349-350. - 10000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Идельсон, А. В. (ред.); Минц, Г. Е. (ред.)
Видання зберігається у :
Основний фонд
|
|