Cписок

Чень Ч., Ли Р.
Математическая логика и автоматическое доказательство теорем

Вид документа: Книга
Рiк видання: 1983 Мiсце видання: М. Видавництво: Наука
Автор: Чень Ч., Ли Р. Авторський знак: Ч-43 Вид автора: персона
Мова: Російська Обсяг: 360 с.
Шифр: 510 УДК: 510.6

Інформація про переклад

Мова оригіналу:

Англійська

Перекладач:

с англ. Г. В. Давыдова, Г. Е. Минца

Загальна інформація

Країна публікації:

Росія

Серія

Назва серії:

Математическая логика и основания математики

Теми документа:

Примірники
Місце збереження	Інвентарний номер	Номер	Кількість	Видано
ан - абонемент наукової літер.	kn0694433		1	0