ՀԱՊՀ Գրադարանի Գրացուցակ = NPUA Library Catalog

Крайзель, Г.

Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Пер. с англ. Ю.А. Гастева и Г.Е. Минца; Под ред. С.Ю. Маслова. - Москва : Мир, 1981. - 289 с. - Математика : Новое в зарубежной науке 23 .


Теория доказательств

Powered by Koha