Logic toán và ứng dụng trong dạy - học - Đỗ Ngọc Đạt (Giáo dục, 1996)
Đề cập đến nhập môn logic toán, một số ứng dụng . Trình bày logic học với phương trình và bất phương trình