Goubault-Larrecq, Jean <br/><br/>
Proof theory and automated deduction 
by Jean Goubault-Larrecq and Ian Mackie 
 - Dordrecht ; Boston  Kluwer Academic  c1997 
 - xv, 424 p. : ill. ; 25 cm., : alk. paper 
<br/><br/> Includes bibliographical references (p. 407-413) and index 
<br/><br/><label>ISBN: </label>1402003684 
<br/><br/><label>ISSN: </label>97018876 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>511.3 GOU