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" was published by Kluwer Academic Publishers in 2002 - Dordrecht, it has 287 pages and the language of the book is English.
“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
- Language: English
- Number of Pages: 287
- Publisher: Kluwer Academic Publishers
- Publish Date: 2002
- Publish Location: Dordrecht
“The semantics and proof theory of the logic of bunched implications” Subjects and Themes:
Edition Specifications:
- Pagination: xlix, 287 p. :
Edition Identifiers:
- The Open Library ID: OL18177135M - OL8013396W
- Online Computer Library Center (OCLC) ID: 50323030
- Library of Congress Control Number (LCCN): 2002030034
- ISBN-10: 1402007450
- All ISBNs: 1402007450
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.