511.352  / Sch99p <br/>
Schwichtenberg, Helmut <br/>
       Proofs and computations 
 / Helmut Schwichtenberg and Stanley S. Wainer 
 .- Cambridge: Cambridge University Press,  2012 
 .- xiii, 465p . 
.- ( Perspectives In Logic / Edited By Thomas Scanlon     
<br><u>ISBN:</u> 9780521517690 
<br/><u>Subject Headings:</u> <br/>Computable functions;<br/>Proof theory;
<br/><U>Author Added Entry: </u><br/>Wainer, Stanley S.;
<br><U>Copy Details:</u><br> Acc. No.: <b>A174121</b>, Full Call No.: 511.352 Sch99p,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>