Giáo trình toán logic - Hồ Anh Minh, ThS. (Khoa học và Kỹ thuật, 2019)