You are here

Handbook of Practical Logic and Automated Reasoning

John Harrison
Publisher: 
Cambridge University Press
Publication Date: 
2009
Number of Pages: 
681
Format: 
Hardcover
Price: 
150.00
ISBN: 
9780521899574
Category: 
Handbook
We do not plan to review this book.

Preface; Ideological orientation; Acknowledgements; How to read this book; 1. Introduction; 2. Propositional logic; 3. First-order logic; 4. Equality; 5. Decidable problems; 6. Interactive theorem proving; 7. Limitations; Appendix 1. Mathematical background; Appendix 2. OCaml made light of; Appendix 3. Parsing and printing of formulas; References; Index.