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

Поиск :

Книга
Автор:
Справочная книга по математической логике. Ч.4: Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует

Многотомник

Справочная книга по математической логике: в 4 ч. / под ред. Дж. Барвайс. – Москва: Наука, 1982.
Книга
51 С74

Ч.4 : Теория доказательств и конструктивная математика: пер. с англ. / под ред. Дж. Барвайс; пер. Г.В. Давыдов, Г.Е. Минц; ред. перевода В.П. Оревков. – 1983. – 391 с.: ил. – На рус. яз.: 2.10.

510.6(035.5)

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

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