Larrecq Jean Goubault <br/><br/>
Proof theory and automated deducation. 

 - London  Kluwer Academic Publishers.       1997 
 - xv,424p.  cm. 
 - Applied logic series. .
<br/><br/><label>Standard No.: </label>45800 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>R193, N7