Michael Detlefsen <br/><br/>
Proof, Logic and Formalization 

 -  Taylor and Francis  1992 
<br/><br/><label>ISBN: </label>9780203980255 
<br/><br/><label>Source: </label>EBOOK