Cover Image

The semantics and proof theory of the logic of bunched implications /

Show other versions (1)
Bibliographic Details
Main Author: Pym, David J.
Format: Book
Language:English
Published: Dordrecht ; Boston : Kluwer Academic Publishers, [2002]
Series:Applied logic series ; v. 26.
Subjects:
Logic, Symbolic and mathematical.
Description
Physical Description:xlix, 287 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 271-282) and index.
ISBN:1402007450 (alk. paper)