TY  - GEN
AU  - Bimbo, Katalin 
TI  - Proof theory : sequent calculi and related formalisms
T2  - Discrete mathematics and its applications
SN  - 9781466564664
PY  - 2015///
CY  - Boca Raton
PB  - CRC press
KW  - Proof theory
KW  - Non classical logic
KW  - Display calculi
ER  -