Logic học đại cương - Lê Doãn Tá (NXB. Đại học quốc gia hà nội, 2001)