First-order dynamic logic
By: David Harel.
Series: Lecture notes in computer science ;; 68
Publisher: Springer-Verlag
Published: 1979
Place of publication: Berlin; New York
Language: eng
Number of pages: 133
Subjects: Computer programming.; Logic, Symbolic and mathematical.; Recursion theory.
Notes: Bibliography: p. [127]-133.
Rev. version of the author's thesis, M.I.T., 1978.
Includes index.