Поиск :
Личный кабинет :
Электронный каталог: Исчисления предикатов
Исчисления предикатов
Книга (аналит. описание)
Автор:
Задачи по теории множеств, математической логике и теории алгоритмов: Исчисления предикатов
б.г.
ISBN отсутствует
Автор:
Задачи по теории множеств, математической логике и теории алгоритмов: Исчисления предикатов
б.г.
ISBN отсутствует
На полку
Книга (аналит. описание)
Исчисления предикатов // Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимов . – 2-е изд . – М. : Наука, 1984 . – с.81-88 .
Исчисления предикатов // Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимов . – 2-е изд . – М. : Наука, 1984 . – с.81-88 .
Привязано к:
Доступно
3 из 3
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Библиотека МИСиС : Научный
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Библиотека МИСиС : Научный