Tài liệu bồi dưỡng thường xuyên giáo viên trung học, sử dụng cho kỹ sư và sinh viên các ngành toán - toán tin - kỹ thuật Logic toán - Nguyễn, Đức Đồng; Nguyễn, Văn Vĩnh (Thanh Hóa Nxb Thanh Hóa, 2001)
Keywords: Logic toán