Logic toán - Nguyễn, Thành Long (2016)
TM tài liệu tham khảo tr. 149; Gồm 4 chương: Đại số mệnh đề; Đại số vị từ; Suy luận và chứng minh; Bài tập; Sách tham khảo