An edition of The logical basis for computer programming
(1985)
The Logical Basis for Computer Programming
Deductive Systems (Addison-Wesley Series in Computer Science)
by Zohar Manna, Richard Waldinger, and Johar Manna
- 2 Want to read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science)
January 1990, Addison-Wesley Pub (Sd)
in English
0201182610 9780201182613
|
aaaa
|
2
The logical basis for computer programming
1985, Addison-Wesley, Addison-Wesley Professional
in English
0201182602 9780201182606
|
eeee
|
Book Details
Edition Identifiers
Work Identifiers
Community Reviews (0)
History
- Created April 29, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 30, 2019 | Edited by MARC Bot | associate edition with work OL3745398W |
| August 5, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |