Logic in Computer Science : Modelling and Reasoning about Systems, 2nd Edition - Softcover

Michael Huth

  • 3.96 out of 5 stars
    74 ratings by Goodreads
 
9780521670890: Logic in Computer Science : Modelling and Reasoning about Systems, 2nd Edition

Synopsis

The second edition of this textbook provides an introductionto formal reasoning that is both relevant to the needs of modern computerscience and rigorous enough for practical application. The presentation is clearand simple. A key feature is the full expo

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title