Vajda, Robert; Bimbó, Katalin: Katalin Bimbó: Proof Theory: Sequent Calculi and Related Formalisms : [könyvismertetés]. Acta scientiarum mathematicarum, (81) 1-2. pp. 350-351. (2015)