Giáo trình Lôgíc học hình thức - Nguyễn, Thị Xuân Thanh (Nxb. Hà Nội, 2006)