Proof theory sequent calculi and related formalisms / - Bimbó, Katalin (CRC Press, Taylor & Francis Group, 2015)