The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey article

Survey article

In academia, a survey article is a paper that is a work of synthesis, published through the usual channels...

s on the field of automated reasoning

Automated reasoning

Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically...

. Published on June 2001 by MIT Press

MIT Press

The MIT Press is a university press affiliated with the Massachusetts Institute of Technology in Cambridge, Massachusetts .-History:...

, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1 describes methods for classical logic

Classical logic

Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well...

, first-order logic with equality and other theories, and induction

Inductive reasoning

Inductive reasoning, also known as induction or inductive logic, is a kind of reasoning that constructs or evaluates propositions that are abstractions of observations. It is commonly construed as a form of reasoning that makes generalizations based on individual instances...

. Volume 2 covers higher-order

Higher-order logic

In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and a stronger semantics...

, non-classical

Classical logic

Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well...

and other kinds of logic.

External links

• Handbook's home page (dead link)
• MIT press page