Вид документа : Однотомное издание Шифр издания : 518/М 34 Заглавие : Математическая теория логического вывода : сборник переводов Выходные данные : М.: Наука, 1967 Колич.характеристики :350 с Серия: Математическая логика и основания математики Цена : Б.ц. Экземпляры :ав(1) Свободны : ав(1) Доп.точки доступа: Идельсон, А. В. \ред.\; Минц, Г. Е. \ред.\