عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
1402007450 (alk. paper)
لاتين
By David J. Pym
author
The semantics and proof theory of the logic of bunched implications
Dordrecht, Boston
Kluwer Academic Publishers
2002.
xlix, 287 p.:diagrs;25 cm
Applied logic series;26
مرجع به حساب نمي آيد
Includes bibliographical references (p. 271-282) and index.
Logic, Symbolic and mathematical.
511
/3
P994S
2002
مولف
Pym, David J.
