Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results for author "Pym, David J."
The semantics and proof theory of the logic of bunched implications / by David J. Pym.
- Text
- Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-1660 Offsite Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter.
- Text
- Oxford, UK : Clarendon Press ; New York : Oxford University Press, 2004.
- 2004
- 2 Items
Item details Format Call Number Item Location Text JFE 04-12424 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Item details Format Call Number Item Location Text JSE 04-1093 Offsite The semantics and proof theory of the logic of bunched implications / by David J. Pym.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, [2002], ©2002.
- 2002-2002
- 1 Item
Item details Format Call Number Item Location Text QA9 .P88 2002 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
