TY  - BOOK
A1  - 
TI  - ISILC Proof Theory Symposion
PB  - کتابخانه مرکزی دانشگاه صنعتی اصفهان
SN  - 104432889
UR  /book/104432889/ISILC-Proof-Theory-Symposion/
ER  -