Nhập môn toán cao cấp - Hoàng, Xuân Sính (ĐHSP, 2004)
TO027 Lôgíc Toán