Cơ sở lý thuyết tính toán - Trần Đức Quang (Đại học quốc gia, 2004)
Giới thiệu máy Turing; Tính bất khả quyết; Các bài toán nan giải; Các lớp bài toán khác.