TY  - BOOK
AU  - Bimbo, Katalin
TI  - Proof theory: sequent calculi and related formalisms
U1  - 517.3 
PY  - 2015///
CY  - Boca Raton
PB  - CRC Press
KW  - Proof theory
ER  -