Buy Used
+ £2.80 UK delivery
Used: Good | Details
Sold by anybookltd
Condition: Used: Good
Comment: This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. . Please note the Image in this listing is a stock photo and may not match the covers of the actual item
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Logic in Computer Science: Modelling and Reasoning about Systems Hardcover – 9 Dec 1999

4.3 out of 5 stars 4 customer reviews

See all formats and editions Hide other formats and editions
Amazon Price
New from Used from
Kindle Edition
"Please retry"
"Please retry"
£368.05 £18.09
click to open popover

Special Offers and Product Promotions

Enter your mobile number below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
Getting the download link through email is temporarily not available. Please check back later.

  • Apple
  • Android
  • Windows Phone

To get the free app, enter your mobile phone number.

Product details

  • Hardcover: 405 pages
  • Publisher: Cambridge University Press (9 Dec. 1999)
  • Language: English
  • ISBN-10: 0521652006
  • ISBN-13: 978-0521652001
  • Product Dimensions: 17.4 x 2.8 x 24.7 cm
  • Average Customer Review: 4.2 out of 5 stars  See all reviews (4 customer reviews)
  • Amazon Bestsellers Rank: 3,822,972 in Books (See Top 100 in Books)
  • See Complete Table of Contents

Product Description


'This is an excellent textbook on logic and formal methods which is very suitable for computer science students… discusses the whole range from logic to applications: propositional and predicate logic, temporal logic and more generally model logic, program verification, model checking, and symbolic model checking using binary decision diagrams … As any good textbook, this book is not only to be recommended for students but for anyone who is interested in applications of logic in computer science.' Theory and Practice of Logic Programming

'… an unusual, inspiring and remarkable book … one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Marat M. Arslanov, Zentralblatt MATH

Book Description

This is a sound introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation of a carefully chosen core of essential terminology: further technicalities are introduced only where they are required by the applications. Numerous examples are given, and web support is available from

Customer Reviews

4.3 out of 5 stars
5 star
4 star
3 star
2 star
1 star
See all 4 customer reviews
Share your thoughts with other customers

Top Customer Reviews

Format: Paperback
This was the text book for the Logic module of my Computer Science course. I found that the book is very well written, and has plenty of examples. I found that it was very easy to grasp the concepts explained in the book.

Each chapter is supplemented with exercises. Not all of the questions have answers available, but a fair number of them do. Full answers are only available to lecturers from the author, so you may be able to get your lecturer to ask for a copy, if you are a university student.

I would highly recommend this book to people interested in this particular subject. It would have been better to have more answers in the back, though.
Comment 4 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Paperback Verified Purchase
Its a book, about computers. It's not bungee jumping
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Paperback Verified Purchase
Quick delivery, well done!
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Paperback
The most important point is to be aware that this guide by Ryan & Huth is an introduction to logic in computer science FOR INGENEERS/COMPUTER SCIENTISTS, NOT for logicians.
In fact, the authors spend a lot of time on well-known basic notions of propositional and predicate logic, but actually they do the opposite with other arguments, like grammars and authomata theory, which are instead widely unknown between beginner graduate students of logic.
But consider now to ignore the unpleasant disposition of arguments: a general sensation of mess remains. In fact, concepts are explained as in a novel, with a lot of natural language, entailing a great difficulty in separating what is really important from what is only a corollary. It is almost impossible to skim on the text looking for a particular definition or theorem, becouse of this aspect.
I had a quite bad feeling with this book; for this reason I discourage its reading and studying.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

Most Helpful Customer Reviews on (beta) HASH(0x98cad1b0) out of 5 stars 11 reviews
17 of 17 people found the following review helpful
HASH(0x98265e64) out of 5 stars Not for undergrads, advanced textbook 28 Dec. 2003
By Steve Uhlig - Published on
Format: Paperback
The coverage of this book is quite good for what concerns logic in computer science. However, using it as an introduction on logic for computer scientists is probably ambitious because the explanations are rather complicated for undergraduates. A first course on logic and another on AI would not hurt before getting into this one. Too many notions of computer science (syntax and semantics of programming languages, complexity) are needed to fully understand some topics, hence it is better that you already have a broad view of all aspects of computer science before reading this one. As an advanced course textbook to formal techniques in computer sciente on the other hand, this one would do the job.
12 of 13 people found the following review helpful
HASH(0x98265eb8) out of 5 stars It's a decent book 4 Oct. 2000
By Jose Berlin - Published on
Format: Paperback
A lot of good material is covered and in a relatively tight fashion. The presentation of logic is well done, but when getting into the BDDs, the explanations get a little complicated and I personally had to read it over several times before I could make sure I understood what was going on. This book also does not have anything on symmetry, so if that's what you're looking for, there are better books out there. However, this book can hold its own and I recommend it to anyone interested in learning the basics of model checking provided they can take handle some of the heavy duty reading.
9 of 11 people found the following review helpful
HASH(0x9826930c) out of 5 stars Great intro to logic 16 Sept. 2000
By A Customer - Published on
Format: Hardcover
This book is a good introduction to logic. It is highly readable, not dry. It explains logic in the language of humans, not arcane mathematics, yet it somehow is able to remain rigorous. This makes logic make sense, rather than it being an abstract intellectual pursuit detached from life and other topics.
Half the book is on logic, half on model checking. I've only read the logic part so far, so I cannot compare the model checking treatment to that in Clarke et al.'s "Model Checking."
The logic treatment is not specific to computer science (or at least did not seem to be so, for someone not a student of mathematics and logic), so in my opinion the title is a misnomer; perhaps a better title would be "Logic for People, and Model Checking Too."
2 of 2 people found the following review helpful
HASH(0x982696c0) out of 5 stars A little hard to follow, but ok. 6 Sept. 2013
By Colin Smith - Published on
Format: Paperback Verified Purchase
If I didn't have to buy this book for one of my subjects, I would never buy it. It is quite hard to follow at times. If I didn't have exposure to logic from before, I'd probably struggle with this book. But if you re-read things over, you do get it in the end. I wish the book explained things in more detail and in simpler ways. It seems the authors did not keep in mind that the readers are not as experienced in logic as they are. I also didn't like the fact that there's quite a bit of errata in the book, which can be quite confusing to a student.
3 of 4 people found the following review helpful
HASH(0x982693a8) out of 5 stars Great book, but only along with great instruction 21 July 2000
By A Customer - Published on
Format: Hardcover
Having taken this class at Kansas State University under the author Michael Huth. Reading this book before lecture often left me a bit confused, but after the lectures it seemed to be brought together, but this is my personal experience, your milage may differ. The book has excellent examples and a great introduction to logic and this book, along with great instruction should help you understand better the logical foundations of computer science.
Were these reviews helpful? Let us know