Enlarge

The semantics and proof theory of the logic of bunched implications

David J. Pym

Publication Data

Title The semantics and proof theory of the logic of bunched implications
Author David J. Pym
Publisher Kluwer Academic
Publication date 2002
Publication location Dordrecht
Language English

Topics

Logic, Symbolic and mathematical

Catalogue Data

OBNB ID GBA256725
ISBN 10 1402007450
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xlix, 287 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

The semantics and proof theory of the logic of bunched implications by David J. Pym. ISBN 1402007450. Published by Kluwer Academic in 2002. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.