511.3028551  / SO13D <br/>
Socher-Ambrosis,Rolf <br/>
       DEDUCTION SYSTEMS 
 / 
 .-  Springer-Verlag, New York,  c1997 
 .- ix,206 . 
<br/>Includes Index 
<br><u>ISBN:</u> 0387948473 
<br/><u>Subject Headings:</u> <br/>Automatic Theorem Proving;
<br/><U>Author Added Entry: </u><br/>Johann,Patricia;
<br><U>Copy Details:</u><br> Acc. No.: <b>A124500</b>, Full Call No.: 511.3028551 SO13D,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>