اكتشف مناهل المعرفة!

توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Harel, D. (1979). First-order dynamic logic. Springer-Verlag.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Harel, David. First-order Dynamic Logic. Berlin ; New York: Springer-Verlag, 1979.

توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)

Harel, David. First-order Dynamic Logic. Springer-Verlag, 1979.