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

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

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

Similar Items