David J. Pym
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
David J. Pym · 2002
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2002
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 338
- ISBN
- 9781402007453
Data source: Wikidata
