Handbook of Automated Reasoning 
Subtitle: Volume I (Handbook of Automated Reasoning)
Contributors: Alan Robinson (Editor); Andrei Voronkov (Editor)
Publisher: North Holland
Published: June 1, 2001
Language: eng
Number of pages: 996
ISBN-13: 9780444829498
First sentence: With the ready availability of serious computer power, deductive reasoning, especially as embodied in mathematics, presented an ideal target for those interested in experimenting with computer programs that purported to implement the "higher" human faculties.