511.3  / T139p <br/>
Takeuti, Gaisi <br/>
       PROOF THEORY 
 / 
 .- Amsterdam: North-Holland,  1975 
 .- vii,372 . 
.- ( Studies In Logic And The Foundations Of Mathematics  V. 81   
<br/><u>Subject Headings:</u> <br/>Proof Theory;
<br><U>Copy Details:</u><br> Acc. No.: <b>A68849</b>, Full Call No.: 511.3 T139p,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>