Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

ГАЛИЕВ Шамиль Ибрагимович М А Т Е М А Т И Ч Е С К А Я Л О Г И К А И Т Е О Р И Я А Л Г О Р И Т М О В Для изучающих компьютерные науки Учебное пособие Редактор Н.И. Данич Компьютерная верстка - А.А. Золина Подписано к печати 01Л2Л4. Формат 60x84 1/16. Бумага офсетная. Печать цифровая. Усл. печ. л. 15,81. Тираж 100. Заказ Г 101. Издательство Казанского государственного технического университета (КПИТУ-КАИ) 420111, Казань, К.Маркса, 10