Proof, logic, and formalization / 
edited by Michael Detlefsen. 
 - London ;  New York :  Routledge,  1992. 
 - 241 p. :  ill. 
<br/><br/>HKBU library 
<br/><br/> YT2025 M10 
<br/><br/><label>ISBN: </label>0415023351 9780415023351 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>LC Class. No.: </label>QA9  / P962 1991