Bước đầu làm quen với logic toán - Nguyễn Mạnh Trinh (Giáo Dục, 1997)