TY  - BOOK
AU  - Harel David.
TI  - First-order dynamic logic
SN  - 3540092374
U1  - 511.3 23
PY  - 1979///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer Science
KW  - Mathematical logic
ER  -