You are here

Handbook of Practical Logic and Automated Reasoning

Publisher: 
Cambridge University Press
Number of Pages: 
681
Price: 
150.00
ISBN: 
9780521899574
Date Received: 
Tuesday, May 5, 2009
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
John Harrison
Publication Date: 
2009
Format: 
Hardcover
Category: 
Handbook

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.

Publish Book: 
Modify Date: 
Tuesday, May 5, 2009

Dummy View - NOT TO BE DELETED