The semantics and proof theory of the logic of bunched implications

Author(s)

• Pym, David J.

Bibliographic Information

The semantics and proof theory of the logic of bunched implications

by David J. Pym

（Applied logic series, v. 26）

Kluwer Academic, c2002

Note

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

Details

• NCID: BA58181174
• ISBN:
  • 1402007450
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: xlix, 287 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA28718584