511.3 <br/>
Kohlenbach, Ulrich. <br/>
       Applied Proof Theory: Proof Interpretations and Their Use in Mathematics  [electronic resource] / 
 / by Ulrich Kohlenbach. 
 .- XX, 536 p..  online resource. 
  ** Springer Monographs in Mathematics,  1439-7382  )
<br/><label>LC Class. No.: </label>QA8.9-10.3 
 - Springer Monographs in Mathematics, .
<br><u>ISBN:</u> 9783540775331 
<br/><label>Standard No.: </label>10.1007/978-3-540-77533-1  doi 
<br/><u>Subject Headings:</u> <br/>Mathematics.;<br/>Approximation theory.;<br/>Functional analysis.;<br/>Operator theory.;<br/>Mathematical logic.;<br/>Mathematics.;<br/>Mathematical Logic and Foundations.;<br/>Mathematics, general.;<br/>Approximations and Expansions.;<br/>Operator Theory.;<br/>Functional Analysis.;
<br><U>Copy Details:</u><br> Acc. No.: <b>EBK10417</b>, Full Call No.: ,   Item type:  E books , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>