Математическая теория логического вывода

Номер документа в системі:	154666
Назва документа:	Математическая теория логического вывода
Видавництво:	Наука
Місто видання:	Москва
Рік видання:	1967
УДК	510.6
ББК	Ю4
Мова документу	Російська
Шифр документу	51
Кількість сторінок	352 с.