Электронный каталог

Книга
УДК 517 К775

Крайзель, Г.
Исследования по теории доказательств : сборник статей : пер. с англ. / Г. Крайзель . – М. : Мир, 1981 . – 289 с. – (Математика. Новое в зарубежной науке ; вып.23) .

517 К775

Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика

785067 Кх
785068 Кх