عنوان
پدید آورنده
موضوع
رده
QA,9,.P88,2002
QA
,
9
,.
P88
,
2002
کتابخانه
محل استقرار
استان: East Azarbaijan ـ شهر: Tabriz
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
The semantics and proof theory of the logic of bunched implications
First Statement of Responsibility
by David J. Pym
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht
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.
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
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
,
9
,.
P88
,
2002
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Pym, David J.
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Title
