عنوان
پدید آورنده
موضوع
رده
QA 9 .P88 2002
QA
9
.
P88
2002
کتابخانه
محل استقرار
139351
پائیز۴۸
English
)20(
Pym, David J.
The semantics and proof theory of the logic of bunched implications
Dordrecht ; Boston
Kluwer Academic Publishers
2002
xlix, 287 p.; 25 cm
Applied logic series
v. 26
Includes bibliographical references and index
، Logic, Symbolic and mathematical
QA
9
.
P88
2002
AU
by David J. Pym
TI
SE
02
