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

Bibliographic Details
Main Author:	Шапорев, С. Д. Сергей Дмитриевич (Author)
Format:	Book
Published:	СПб.: БХВ-Петербург 2005
Subjects:	учебные пособия математическая логика алгебраическая логика исчисление высказываний логика предикатов теория алгоритмов
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items