Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Under consideration for publication in Theory and Practice of Logic Programming 1 Book review
 

Summary: Under consideration for publication in Theory and Practice of Logic Programming 1
Book review
Jeremy Avigad
submitted 11 December 2009; revised -; accepted -
Handbook of Practical Logic and Automated Reasoning
by John Harrison
Cambridge University Press, 2009
Hardcover, ISBN-13: 978-0-521-89957-4
681pp. + xix, $135.00
1 Overview
Contemporary research in computer science has produced an abundance of formal
methods designed to enable hardware and software systems to reason correctly, and
to enable us to reason better about these systems. Indeed, the explosion of research
and specialized techniques can make it hard for students and newcomers to enter
the field. John Harrison's Handbook of Practical Logic and Automated Reasoning is
a significant addition to the expository literature on the subject, and will serve as
a valuable resource for beginners and experts alike.
Almost seven hundred pages long, the book is remarkable in many ways, including
the breadth of its scope, the depth of its insights, and the clarity and readability
of its prose. It is somewhat hard to classify, and the title doesn't help. To start

  

Source: Avigad, Jeremy - Departments of Mathematical Sciences & Philosophy, Carnegie Mellon University

 

Collections: Multidisciplinary Databases and Resources; Mathematics