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