Harel, D., Kozen , D., & Tiuryn, J. (2000). Dynamic logic. Prentice Hall of India.
Styl cytowania ChicagoHarel, David, Dexter Kozen , i Jerzy Tiuryn. Dynamic Logic. New Delhi: Prentice Hall of India, 2000.
Styl cytowania MLAHarel, David, et al. Dynamic Logic. Prentice Hall of India, 2000.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..