نظريات ومسائل في الرياضيات الأساسية للحاسب - ليبشتز، سيمور (الدار الدولية للاستثمارات الثقافية ،)