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