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

Книга
51мл К775

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

ББК 22.122

основной = математика
основной = математика : математическая логика
основной = философия : логика : традиционная логика : теория аргументации : теория доказательств

00000000605144 МАТН 51мл К775
00000000605145 МАТН 51мл К775