Электронный каталог -Такеути, Гаиси - Теория доказательств- Absopac

Поиск :

Книга
Автор: Такеути, Гаиси
Теория доказательств
Издательство: Мир, 1978 г.
ISBN отсутствует

Книга
51 Т15

Такеути, Гаиси.
Теория доказательств: пер. с англ. / Гаиси Такеути; пер. С.К. Соболев; под ред. С.И. Адян. – Москва: Мир, 1978. – 412 с. – На рус. яз.: 2.10.

510.6

общий = МАТЕМАТИЧЕСКАЯ ЛОГИКА
общий = ТЕОРЕМЫ
общий = ДОКАЗАТЕЛЬСТВА (мат. логика)
общий = ДОКАЗАТЕЛЬСТВ ТЕОРИЯ

Филиал	Всего	Доступно для брони	Доступно для выдачи	Бронирование
ОХОФ	1	1	1	Заказать
ОНЛ	1	1	1	Заказать