Negri, Sara <br/><br/>
Structural proof theory 
Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta 
 - Cambridge  Cambridge University Press  2001 
 - xvii, 257 p. ; 24 cm 
<br/><br/> Includes bibliographical references (p. 245-249) and indexes 
<br/><br/><label>ISBN: </label>0521793076 
<br/><br/><label>ISSN: </label>40327 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>QA9.54 .N44 2001 511.3