The Work Proof Theory: Sequent Calculi and Related Formalisms The details The Author Katalin Bimbó The offers View on Kindle View paperback on Amazon View hardback on Amazon