TY  - BOOK
A1  - / Bruno Scarpellini
TI  - Proof theory and intuitionistic systems
PB  - كتابخانه پردیس علوم (دانشگاه تهران)
SN  - 100992699
UR  /book/100992699/Proof-theory-and-intuitionistic-systems/
ER  -