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

 - Boca Raton   CRC press       2015 
 - x,376p. ill.  cm 
<br/><br/> Appendix 354- 363p.; Bibliography 364-374p.; Index 375-376p. 
<br/><br/><label>ISBN: </label>9781466564664 (hbk) 
<br/><br/><label>Standard No.: </label>197277 
<br/><br/><label>Source: </label> 37, 07/03/2017, Aviva Books Company  Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Classical first-order logic<br/> Variants of the first sequent  calculi<br/>Proofs and proof theory
<br/><br/><label>Dewey Class. No.: </label>B:(R1), Q5