511.3  / G72P <br/>
Goubault-Larrec,Jean <br/>
       PROOF THEORY AND AUTOMATES DEDUCTION 
 / 
 .-  Kluwer Academic Publishers, Dordrecht,  1997 
 .- xv,424 . 
.- ( Applied Logic Series     
<br><u>ISBN:</u> 0792345932 
<br/><u>Subject Headings:</u> <br/>Proof Theory;<br/>Automated Theorem Proving;
<br/><U>Author Added Entry: </u><br/>Mackie,Ian;
<br><U>Copy Details:</u><br> Acc. No.: <b>A127634</b>, Full Call No.: 511.3 G72P,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>