BEN, A. M. (1993). Mathematical Logic For Computer Science M. Ben Ari. Prentice-Hall.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)BEN, Ari M. Mathematical Logic For Computer Science M. Ben Ari. Prentice-Hall, 1993.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)BEN, Ari M. Mathematical Logic For Computer Science M. Ben Ari. Prentice-Hall, 1993.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.