К 77 Крайзель, Г. Исследования по теории доказательств [Текст] : сб. ст. / Г. Крайзель ; пер.: Ю. А. Гастева, Г. Е. Минца ; под ред. С. Ю. Маслова. - М. : Мир, 1981. - 289 с. - (Математика. Новое в зарубежной науке. Вып. 23). - 1.80 р. Рубрики: Естественные науки Кл.слова (ненормированные): теория доказательств -- философский аспект -- математический аспект -- выбор подсистем -- аксиомы -- правила -- параметры Доп.точки доступа: Гастева, Ю.А. \пер.\; Минца, Г.Е. \пер.\; Маслова, С.Ю. \под ред.\ Экземпляры всего: 4 Ч.з.1 (2), Аб.2 (2) Свободны: Ч.з.1 (2), Аб.2 (2) |