TY  - BOOK
A1  - Negri, Sara
TI  - Structural proof theory
PB  - کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان
SN  - 95696827
UR  /book/95696827/Structural-proof-theory/
ER  -