Logic học đại cương: Chương trình môn học: Bài giảng - Nguyễn, Mạnh Cường (2014)