عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1402007450 (alk. paper)
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
لاتين
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
By David J. Pym
Subsequent Statement of Responsibility
author
Title Proper
The semantics and proof theory of the logic of bunched implications
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht, Boston
Name of Publisher, Distributor, etc.
Kluwer Academic Publishers
Date of Publication, Distribution, etc.
2002.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xlix, 287 p.:diagrs;25 cm
SERIES
Series Title
Applied logic series;26
NOTES PERTAINING TO BINDING AND AVAILABILITY
Text of Note
مرجع به حساب نمي آيد
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. 271-282) and index.
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic, Symbolic and mathematical.
OTHER CLASS NUMBERS
Class number
511
/3
P994S
2002
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
مولف
Relator Code
Pym, David J.
