| Shelfclass_id | 4.B.2 |
| Sortkey | HAREL, DAVID |
| Authors | David Harel |
| Title | First-Order Dynamic Logic |
| Publisher | Springer-Vlg |
| Year | 1979 |
| Languages | eng |
| Isbn | 0387092374, 3540092374 |
| Series | Lecture Notes in Computer Science |
| Volume | 68 |
| Issn | 0302-9743 |
| Description | (Berlin) (New York) 133 s. |
| Record date | 20090220 |
| Location | New York |