TY  - BOOK
A1  - 
TI  - Advances in linear logic
PB  - كتابخانه مركزی و مركز اسناد دانشگاه مازندران
SN  - 92951662
UR  /book/92951662/Advances-in-linear-logic/
ER  -