Goubault-Larrecq, Jean <br/><br/>
Proof theory and automated deduction 
Jean Goubault Larrecq and, Ian Mackie. 
 - Dordrecht  Kluwer Academic Publishers  1997 
 - xv, 424p., 25cm 
 - (Applied logic series, no.6) .
<br/><br/><label>ISBN: </label>0-7923-4593-2. 
<br/><br/><label>Dewey Class. No.: </label>004.0151  / G59P