عنوان
پدید آورنده
موضوع
رده
QA,9,.P88,2002
QA
,
9
,.
P88
,
2002
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر: تبریز
English Book
The semantics and proof theory of the logic of bunched implications
by David J. Pym
Dordrecht
Kluwer Academic Publishers
2002
xlix, 287 p.
Includes bibliographical references (p. 271-282) and index.
Logic, Symbolic and mathematical
QA
,
9
,.
P88
,
2002
Pym, David J.
Title
