TY  - BOOK
AU  - Bimbo,Katalin
TI  - Proof theory: sequent calculi and related formalisms 
T2  - Discrete mathematics and its applications
SN  - 9781466564664 (empastado, cubierta dura)
AV  - QA9.54 B55
U1  - 511.3/6 23
PY  - 2015///]
CY  - Boca Raton
PB  - CRC Press
KW  - Teoría de la demostración
ER  -