David J. Pym
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
David J. Pym · 2002
פרטי הספר
- שנה
- 2002
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 338
- ISBN
- 9781402007453
מקור הנתונים: Wikidata
David J. Pym · 2002
מקור הנתונים: Wikidata
