1. The semantics and proof theory of the logic of bunched implications
المؤلف: By David J. Pym
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical.
2. The semantics and proof theory of the logic of bunched implications
المؤلف: by David J. Pym
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical
رده :
QA
,
9
,.
P88
,
2002
3. The semantics and proof theory of the logic of bunched implications
المؤلف: Pym, David J.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
P88
2002
