00749nam0-22002771i-450-990001319080403321000131908FED01000131908(Aleph)000131908FED0100013190820000920d1979----km-y0itay50------baengFirst-Order Dynamic LogicDavid Harel.BerlinSpringer-Verlag1979.IX, 133.Lecture notes in computer science68Harel,David<1950- >47551ITUNINARICAUNIMARCBK990001319080403321C-16-(687292MA1MA102C10First-Order Dynamic Logic354588UNINAING01