TY  - BOOK
A1  - / Bruno Scarpellini
TI  - Proof theory and intuitionistic systems
PB  - کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی
SN  - 94173986
UR  /book/94173986/Proof-theory-and-intuitionistic-systems/
ER  -