Giáo trình Lôgíc học hình thức - Võ, Văn Thắng (Chính trị quốc gia, 2012)