An edition of First-Order Dynamic Logic
(1979)
First-Order Dynamic Logic
1 edition
by D. Harel
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Programmation, Mathematische Logik, Langage algébrique, Logique premier ordre, Logique programme, Computer programming, Programmierung, Logik, Logique symbolique et mathématique, Sémantique langage, Symbolic and mathematical Logic, Analyse programme, Programmation (Informatique), Recursion theory, Ordinateurs, Récursivité, Théorie de la, Logique formelle, Logic, symbolic and mathematical| Edition | Availability |
|---|---|
1
First-Order Dynamic Logic
June 1, 1979, Springer
Paperback
in English
- 1 edition
3540092374 9783540092377
|
aaaa
|
Book Details
Edition Notes
Lecture Notes in Computer Science
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 28, 2025 | Edited by ImportBot | Redacting ocaids |
| December 29, 2021 | Edited by ImportBot | import existing book |
| June 30, 2019 | Edited by MARC Bot | import existing book |
| January 8, 2011 | Edited by AMillarBot | move edition notes from title to notes field (Lecture Notes in Computer Science) |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |