TY  - BOOK
A1  - Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
TI  - Advances in proof theory
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101397251
UR  /book/101397251/Advances-in-proof-theory/
ER  -