Книга
104 3440

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

ББК В12я44
ББК Ю4в2:В1

Предметні рубрики = Логика : общий раздел : методология логики : логика и другие науки, прикладная логика : логика и математика : логика как основа теории математического доказательства
Предметні рубрики = Математика : основания математики, математическая логика : общий раздел : сборники статей

0801591 Ф 1 - 10 комн.
1031523 ОФ
1065042 ОФ
1660326 Ф 1 - 10 комн.