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