Proof, logic, and formalization  [electronic resource] / 
edited by Michael Detlefsen. 
 - London ;  New York :  Routledge,  1992. 
 - x, 241 p. :  ill. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780203980255 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA9.54  / .P77 1991 
<br/><br/><label>Dewey Class. No.: </label>511.3