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

nonfiction computer science mathematics informative slow-paced

440 pages | first published 1999

Edition information

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...
Browse similar books...

Plus

Book information

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.

Community Reviews

Summary of 5 ratings

Average rating

3.4