Bimbo, Katalin
Proof theory Sequent calculi and related formalisms - Boca raton CRC Press 2015 - 376 - Discrete mathematics and its applications .
9781466564664
Proof theory
510.6 BIM
Proof theory Sequent calculi and related formalisms - Boca raton CRC Press 2015 - 376 - Discrete mathematics and its applications .
9781466564664
Proof theory
510.6 BIM