511.3  / F564P <br/>
Fitting,Melvin <br/>
       PROOF METHODS FOR MODAL AND INTUITIONISTIC LOGICS 
 / 
 .-  D. Reidel, Dordrecht,  1983 
 .- viii,555 . 
.- ( Synthese Library     
<br><u>ISBN:</u> 9027715734 
<br/><u>Subject Headings:</u> <br/>Proof Theory;<br/>Modality (Logics);<br/>Intuitionistic Mathematics;
<br><U>Copy Details:</u><br> Acc. No.: <b>A140230</b>, Full Call No.: 511.3 F564P,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>