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