Logic toán - Edenman, S.L.; Nguyễn Mạnh Quý (H. : Giáo dục, 1981)