Поиск :
Личный кабинет :
Электронный каталог: Крайзель, Г. - Исследования по теории доказательств
Крайзель, Г. - Исследования по теории доказательств
Книга
Автор: Крайзель, Г.
Исследования по теории доказательств : сборник статей
Серия: Математика : новое в зарубежной науке
Издательство: Мир, 1981 г.
ISBN отсутствует
Автор: Крайзель, Г.
Исследования по теории доказательств : сборник статей
Серия: Математика : новое в зарубежной науке
Издательство: Мир, 1981 г.
ISBN отсутствует
Заказать 
На полку
Книга
51 К77
Крайзель, Г.
Исследования по теории доказательств: сборник статей: пер. с англ. / Г. Крайзель; пер. Ю.А. Гастев, Г.Е. Минц; под ред. С.Ю. Маслов. – Москва: Мир, 1981. – 289 с. – (Математика : новое в зарубежной науке; [N]23) . – На рус. яз.: 1.80.
510.2
510.6
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
общий = ТЕОРЕМЫ
общий = ДОКАЗАТЕЛЬСТВА (мат. логика)
общий = ДОКАЗАТЕЛЬСТВ ТЕОРИЯ
51 К77
Крайзель, Г.
Исследования по теории доказательств: сборник статей: пер. с англ. / Г. Крайзель; пер. Ю.А. Гастев, Г.Е. Минц; под ред. С.Ю. Маслов. – Москва: Мир, 1981. – 289 с. – (Математика : новое в зарубежной науке; [N]23) . – На рус. яз.: 1.80.
510.2
510.6
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
общий = ТЕОРЕМЫ
общий = ДОКАЗАТЕЛЬСТВА (мат. логика)
общий = ДОКАЗАТЕЛЬСТВ ТЕОРИЯ