Giáo trình logic học hình thức - Võ, Văn Thắng (Chính trị Quốc gia - Sự Thật, 2017)