QR-код құжаттың
517.1
К78
Крайзель, Г.
Исследования по теории доказательств: сб. статей / пер. с англ. ю.а.гастева, г.е.минца; под ред. с.ю.маслова. [Текст] : сборник / Г. Крайзель. - М. : Мир, 1981. - 289 с. - (Математика. новое в зарубеж. науке. 23). - Б. ц.
| УДК | 517.1 |
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ -- ЛОГИКА -- ТЕОРЕМЫ -- ДОКАЗАТЕЛЬСТВО
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)