Bimbo, Katalin  <br/><br/>
Proof theory   sequent calculi and related formalisms 

 - Boca Raton  CRC press  2015 
 - x, 376p. 
 - Discrete mathematics and its applications .
<br/><br/><label>ISBN: </label>9781466564664 
<br/><br/><label>Subjects--Index Terms: </label>Proof theory Non classical logic Display calculi 
<br/><br/><label>Universal Decimal Class. No.: </label>510.6  / BIM