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