Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth, Mark Ryan

Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth, Mark Ryan

440 pages first pub 1999 (editions)

nonfiction computer science mathematics informative slow-paced

Description

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made through...

Read more

Community Reviews Summary of 5 ratings

Average rating

3.4

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.