Schwichtenberg, Helmut <br/><br/>
Proofs and computations 
Helmut Schwichtenberg, Stanley S. Wainer 
 - Ithaca, NY  Cambridge  New York  Association for Symbolic Logic  Cambridge University Press  2012 
 - xiii, 465 p  ill  24 cm 
 - Perspectives in logic .
 - Perspectives in logic .
<br/><br/> Contine bibliogr. si index 
<br/><br/><label>ISBN: </label>9780521517690 0521517699 
<br/><br/><label>LCCN: </label>2011276796 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computable functions<br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>511.352