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