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

