Nhập môn Loogic học - Vũ Ngọc Pha (Giáo dục, 1997)