1. The semantics and proof theory of the logic of bunched implications

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع : Logic, Symbolic and mathematical.

2. The semantics and proof theory of the logic of bunched implications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Logic, Symbolic and mathematical

رده :
QA
,
9
,.
P88
,
2002