Математик логик Компьютерийн ухааны мэргэжлийн ангийн оюутнуудад зориулсан сурах бичиг - Намсрай Ю., Азбаяр Д. (Адмон, 2006)