Электронный каталог МПГУ -Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика- Absopac

Поиск :

Доступно
3 из 3

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

Книга
51мл С741

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

ББК 22.122

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

00000000718077 МАТН 51мл С741
00000000718078 МАТН 51мл С741
00000000718079 МАТН 51мл С741