Check nearby libraries
Buy this book

Last edited by Open Library Bot
April 28, 2010 | History
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book

Edition | Availability |
---|---|
1
Logic from Computer Science: Proceedings of a Workshop Held Nov 13-17, 1989 (Mathematical Sciences Research Institute Publications)
January 1992, Springer
in English
0387976671 9780387976679
|
aaaa
|
Book Details
First Sentence
"We distinguish two views of logic, the declarative and the imperative."
Edition Identifiers
Work Identifiers
Community Reviews (0)
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
December 10, 2009 | Created by WorkBot | add works page |