توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Захарьящев М. В. Математическая логика в программировании: Математическая логика в программировании. NCFU.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Захарьящев М. В. Математическая логика в программировании: Математическая логика в программировании. NCFU.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Захарьящев М. В. Математическая логика в программировании: Математическая логика в программировании. NCFU.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.