Smullyan, R. M. (1968). First-order logic. Springer-Verlag.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Smullyan, Raymond M. First-order Logic. Berlin: Springer-Verlag, 1968.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Smullyan, Raymond M. First-order Logic. Springer-Verlag, 1968.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.