TY  - BOOK
A1  -  edited by David Harel.
TI  - First-Order Dynamic Logic
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90113118
UR  /book/90113118/FirstOrder-Dynamic-Logic/
ER  -