Fitting, Melvin. <br/><br/>
First-Order Logic and Automated Theorem Proving. 

 - 2nd ed. 
 - 1 online resource (337 pages) 
 - Texts in Computer Science Series .
 - Texts in Computer Science Series .
<br/><br/>GRADUATE TEXTS IN COMPUTER SCIENCE -- FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING -- Copyright -- Preface -- Preface to the Second Edition -- Contents -- List of Tables -- 1 Background -- 2 Propositional Logic -- 3 Semantic Tableaux and Resolution -- 4 Other Prepositional Proof Procedures -- 5 First-Order Logic -- 6 First-Order Proof Procedures -- 7 Implementing Tableaux and Resolution -- 8 Further First-Order Features -- 9 Equality -- References -- Index. 
<br/><br/><label>ISBN: </label>9781461223603 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA267-268.5 
<br/><br/><label>Dewey Class. No.: </label>511.3