Logic học Giáo trình đào tạo giáo viên THCS hệ Cao đẳng sư phạm - Vương , Tất Đạt (Thê giới, 2002)