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
Previews available in: English
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
ID Numbers
Community Reviews (0)
History
- Created April 30, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| 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 13, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |