511.3  / St12r <br/>
Stachniak, Zbigniew <br/>
       Resolution proof systems : an algebraic theory 
 / Zbigniew Stachniak 
 .- Dordrecht: Kluwer Academic,  1996 
 .- xvi, 206p . 
.- ( Automated Reasoning Series / Edited By William Pase  V.4   
<br><u>ISBN:</u> 9780792340171 
<br/><u>Subject Headings:</u> <br/>Mathematical logic (Symbolic logic);
<br><U>Copy Details:</u><br> Acc. No.: <b>A175327</b>, Full Call No.: 511.3 St12r,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>