Logic học nhập môn - Trần Hoàng, TS. (Đại học Sư phạm, 2004)