First-Order Dynamic Logic

Book information

Publisher

Springer-Verlag Berlin Heidelberg

Year

1979

ISBN

978-3-540-09237-7, 978-3-540-35346-1

DOI

10.1007/3-540-09237-4

Language

english

Format

PDF

Filesize

3 MB (3368784 bytes)

Series

Lecture Notes in Computer Science 68

Edition

1

Pages

136\143

Orientation

yes

Scanned

yes

Time added

2013-08-01 04:00:00