Logic hình thức Tài liệu bài giảng hệ ĐH - Trần Thị Hương Giang (Đại học Quảng Bình, 2008)
.