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

 - Boca Raton  CRC Press  2015 
 - 376p. 
<br/><br/><label>Subjects--Index Terms: </label>Proof theory 
<br/><br/><label>Dewey Class. No.: </label>517.3  / BIM