Поиск :
Личный кабинет :
Электронный каталог: Крайзель, Г. - Исследования по теории доказательств
Крайзель, Г. - Исследования по теории доказательств
Доступно
3 из 3
3 из 3
Книга
Автор: Крайзель, Г.
Исследования по теории доказательств : сборник статей
Серия: Математика : новое в зарубежной науке
Издательство: Мир, 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
общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
общий = ТЕОРЕМЫ
общий = ДОКАЗАТЕЛЬСТВА (мат. логика)
общий = ДОКАЗАТЕЛЬСТВ ТЕОРИЯ