Nhập môn logic hình thức & logic phi hình thức - Nguyễn Đức Dân (Đại học Quốc gia, 2005)