Tập luyện cho học sinh sử dụng thuật ngữ, kí hiệu của logic toán để diễn đạt mệnh đề toán học - Nguyễn Văn Thuận, TS.