This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application improvements have been made throughout with many extra and expanded sections and exercises the coverage of model checking has been substantially updated. Logic in computer science modelling and reasoning about systems 2nd edition huth on amazoncom free shipping on qualifying offers logic in computer science modelling and reasoning about systems 2nd edition. Logic in computer science modelling and reasoning about systems 2nd edition michael huth mark ryan 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. Logic in computer science modelling and reasoning about systems 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 throughout with many new and expanded . 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 throughout with many new and expanded text sections the coverage of model checking has been substantially updated and additional exercises are included