Proof theory: sequent calculi and related formalisms - Binbo Katalin (Boca Raton CRC press, 2015)
Appendix 354- 363p.; Bibliography 364-374p.; Index 375-376p.
Keywords: Classical first-order logic; Variants of the first sequent calculi; Proofs and proof theory