First-order dynamic logic
Saved in:
Main Authors: | |
---|---|
Published: |
Springer-Verlag,
|
Publisher Address: | Berlin New York |
Publication Dates: | 1979. |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science ; 68 |
Subjects: | |
Carrier Form: | 133 p.: ill. ; 24 cm. |
ISBN: | 0387092374 |
Index Number: | TP301 |
CLC: | TP301 |
Call Number: | TP301/H275/ |
Contents: |
Rev. version of the author's thesis, M.I.T., 1978. Includes index. Bibliography: p. [127]-133. |