38687

4372296

Katalin Bimbo

Proof Theory - Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

CRC Press

2015

1466564660