The semantics and proof theory of the logic of bunched implications by David J. Pym

By:

Publication details: Dordrecht ; Boston Kluwer Academic Publishers 2002Description: xlix, 287 p. ; 25 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 PYM (Browse shelf(Opens below))	Available		304194

Previous								Next
Previous	511.3 PRE Purity, spectra and localisation	511.3 PRI An introduction to non-classical logic : from if to is	511.3 PRI An introduction to non-classical logic : from if to is	511.3 PYM The semantics and proof theory of the logic of bunched implications	511.3 RAS Computational Theory: Problems&Solutions	511.3 RAS Computational Theory: Problems&Solutions	511.3 REI Science of Learning Mathematical Proofs, The: An introductory Course	Next

Includes bibliographical references (p. 271-282) and index

There are no comments on this title.

to post a comment.

Find us on the map