Поиск :
Личный кабинет :
Электронный каталог: 6. Теория доказательств
6. Теория доказательств
На полку
Книга (аналит. описание)
6. Теория доказательств // Математическая логика : Учеб. пособие / Ю. Л. Ершов, Е. А. Палютин . – 3-е изд., стер . – СПб. : Лань, 2004 . – с.204-240 .
6. Теория доказательств // Математическая логика : Учеб. пособие / Ю. Л. Ершов, Е. А. Палютин . – 3-е изд., стер . – СПб. : Лань, 2004 . – с.204-240 .
Привязано к:
Доступно
1 из 1
Книга
Ершов, Ю. Л.
Математическая логика: Учеб. пособие
Лань, 2004 г.
ISBN 5-8114-0533-2
Библиотека МИСиС : Научный
Ершов, Ю. Л.
Математическая логика: Учеб. пособие
Лань, 2004 г.
ISBN 5-8114-0533-2
Библиотека МИСиС : Научный