Математическая логика курс лекций : задачник-практикум и решения : учебное пособие

Bibliographic Details
Main Author:	Лихтарников, Леонид Моисеевич
Other Authors:	Сукачева, Тамара Геннадьевна
Format:	Book
Language:	Russian
Published:	Санкт-Петербург [и др.] Лань 2009
Edition:	Изд. 4-е, стер.
Series:	Учебники для вузов Специальная литература
Subjects:	электронные учебники для вузов математическая логика алгебра логики исчисление высказываний логика предикатов математические теории булева алгебра теория алгоритмов задачи решение задач
Online Access:	Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Перейти в каталог НБ ТГУ

Similar Items