The semantics and proof theory of the logic of bunched implications - Info and Reading Options
By David J. Pym
“The semantics and proof theory of the logic of bunched implications” Metadata:
- Title: ➤ The semantics and proof theory of the logic of bunched implications
- Author: David J. Pym
“The semantics and proof theory of the logic of bunched implications” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL8013396W
AI-generated Review of “The semantics and proof theory of the logic of bunched implications”:
Read “The semantics and proof theory of the logic of bunched implications”:
Read “The semantics and proof theory of the logic of bunched implications” by choosing from the options below.
Search for “The semantics and proof theory of the logic of bunched implications” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “The semantics and proof theory of the logic of bunched implications” in Libraries Near You:
Read or borrow “The semantics and proof theory of the logic of bunched implications” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “The semantics and proof theory of the logic of bunched implications” at a library near you.
Buy “The semantics and proof theory of the logic of bunched implications” online:
Shop for “The semantics and proof theory of the logic of bunched implications” on popular online marketplaces.
- Ebay: New and used books.