TY  - BOOK
AU  - Negri,Sara
AU  - Von Plato,Jan, coaut.
TI  - Structural proof theory
SN  - 0521793076 (empastado, cubierta dura)
AV  - QA9.54 N44
U1  - 511.3 21
PY  - 2001///
CY  - Cambridge, United Kingdom
PB  - Cambridge University Press
KW  - Teoría de la demostración
ER  -