Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Electronic data processing, ComputersShowing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Handbook of logic and proof techniques for computer science
2002, Springer
Unknown Binding
in English
376434220X 9783764342203
|
zzzz
Libraries near you:
WorldCat
|
2
Handbook of logic and proof techniques for computer science
2002, Birkhauser, Springer
in English
081764220X 9780817642204
|
aaaa
Libraries near you:
WorldCat
|
3
Handbook of Logic and Proof Techniques for Computer Science
January 17, 2002, Birkhäuser Boston
Hardcover
in English
- 1 edition
081764220X 9780817642204
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. 231-236) and index.
Classifications
The Physical Object
ID Numbers
First Sentence
"An elementary statement (or atomic statement) is a sentence with a subject and a verb (and sometimes an object) but no connectives (and, or, not, if-then, if-and-only-if)."
Community Reviews (0)
Feedback?History
- Created July 5, 2019
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
November 14, 2023 | Edited by MARC Bot | import existing book |
February 25, 2022 | Edited by ImportBot | import existing book |
December 3, 2020 | Edited by MARC Bot | import existing book |
May 18, 2020 | Edited by CoverBot | Added new cover |
July 5, 2019 | Edited by ImportBot | import existing book |