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