The semantics and proof theory of the logic of bunched implications

CiNii Available at 13 libraries

Bibliographic Information

Title
"The semantics and proof theory of the logic of bunched implications"
Statement of Responsibility
by David J. Pym
Publisher
  • Kluwer Academic
Publication Year
  • c2002
Book size
25 cm

Search this Book/Journal

Notes

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

Related Books

See more

Details 詳細情報について

  • CRID
    1130000794459665408
  • NII Book ID
    BA58181174
  • ISBN
    1402007450
  • Text Lang
    en
  • Country Code
    ne
  • Title Language Code
    en
  • Place of Publication
    • Dordrecht
  • Data Source
    • CiNii Books
Back to top