Математическая логика и теория алгоритмов: Учебное пособие для вузов/

Bibliographic Details
Main Authors:	Зюзьков, В. М. Валентин Михайлович (Author), Шелупанов, А. А. Александр Александрович (Author)
Format:	Book
Published:	М.: Горячая линия-Телеком 2007
Edition:	2-е изд.
Series:	Специальность для высших учебных заведений
Subjects:	математическая логика теория алгоритмов учебные пособия теория множеств логика высказываний Булева алгебра логика предикатов исчисления логические парадоксы многозначная логика
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items