Logic toán và ứng dụng trong dạy - học - Đỗ Ngọc Đạt (Giáo dục, 1997)