Математическая логика и теория алгоритмов

ГАЛИЕВ Шамиль Ибрагимович МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Учебноепособие Ответственный за выпуск Н. И. Данич Технический редактор С. В. Фокеева Компьютерная верстка - М. А. Андреева Подписано в печать 19.11.04. Формат 60x84 1/16. Бумага офсетная. Печать офсетная. Печ.л. 21,0. Усл.печ.л. 19,53. Усл.кр.-отт. 19,53. Уч.-изд.л. 19,07. Тираж 550. Заказ Г146/Д264. Издательство Казанского государственного технического университета Типография Издательства Казанского государственного технического университета 420111 Казань, К. Маркса, 10