Logic in computer science modelling and reasoning about systems 2nd edition paperback january 1 2005 by huth author 47 out of 5 stars 27 ratings. Foreword to the first edition preface to the second edition acknowledgements 1 propositional logic 11 declarative sentences 12 natural deduction 121 rules for natural deduction 122 derived rules 123 natural deduction in summary 124 provable equivalence 125 an aside proof by contradiction 13 propositional logic as a formal . 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 edition 2 ebook written by michael huth mark ryan read this book using google play books app on your pc android ios devices download for offline reading highlight bookmark or take notes while you read logic in computer science modelling and reasoning about systems edition 2. In my opinion i refer to the ii editionthe logic treatment is fairly complete for a computer science student anyway its missing the treatment of prolog and the relevant logicthis book is also an excellent introduction to model checking of clarke