Хусаинов А. А. Математическая логика и теория алгоритмов : [учебное пособие] / А. А. Хусаинов, Н. Н. Михайлова ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Комсом.-на-Амуре гос. техн. ун-т, Ин-т новых информ. технологий Комсом.-на-Амуре гос. техн. ун-та. - Комсомольск-на-Амуре : КНАГТУ, 2005. - 96 с.