Schwichtenberg, Helmut <br/><br/>
Perspective in logic:  proofs and computations/ 

 - Cambridge:  Cambridge University Press,   c2012. 
 - xiii, 465 pages :  illustrations ;  24 cm. 
<br/><br/>Includes bibliographical references and index.