Поиск :
Личный кабинет :
Электронный каталог: Крайзель, Георг - Исследования по теории доказательств
Крайзель, Георг - Исследования по теории доказательств
Доступно
2 из 2
2 из 2
Книга
Автор: Крайзель, Георг
Исследования по теории доказательств : Сб. статей
Серия: Математика. Новое в зарубеж. науке
Издательство: Мир, 1981 г.
ISBN отсутствует
Автор: Крайзель, Георг
Исследования по теории доказательств : Сб. статей
Серия: Математика. Новое в зарубеж. науке
Издательство: Мир, 1981 г.
ISBN отсутствует
Книга
51мл К775
Крайзель, Георг.
Исследования по теории доказательств : Сб. статей : пер. с англ. / Г. Крайзель; Пер. Ю. А. Гастева и Г. Е. Минца; Под ред. С. Ю. Маслова . - Москва : Мир, 1981 . - 289 с. - (Математика. Новое в зарубеж. науке / Ред. А. Н. Колмогоров, С. П. Новиков ; 23) . - Библиогр. в конце каждого разд. - На рус. яз. : 1.80 .
ББК 22.122
основной = математика
основной = математика : математическая логика
основной = философия : логика : традиционная логика : теория аргументации : теория доказательств
00000000605144 МАТН 51мл К775
00000000605145 МАТН 51мл К775
51мл К775
Крайзель, Георг.
Исследования по теории доказательств : Сб. статей : пер. с англ. / Г. Крайзель; Пер. Ю. А. Гастева и Г. Е. Минца; Под ред. С. Ю. Маслова . - Москва : Мир, 1981 . - 289 с. - (Математика. Новое в зарубеж. науке / Ред. А. Н. Колмогоров, С. П. Новиков ; 23) . - Библиогр. в конце каждого разд. - На рус. яз. : 1.80 .
ББК 22.122
основной = математика
основной = математика : математическая логика
основной = философия : логика : традиционная логика : теория аргументации : теория доказательств
00000000605144 МАТН 51мл К775
00000000605145 МАТН 51мл К775