The semantics and proof theory of the logic of bunched implications
- 種類:
- 図書
- 責任表示:
- by David J. Pym
- 出版情報:
- Dordrecht : Kluwer Academic, c2002
- 著者名:
- Pym, David J.
- シリーズ名:
- Applied logic series ; v. 26 <BA28718584>
- ISBN:
- 9781402007453 [1402007450]
- 注記:
- Includes bibliographical references (p. 271-282) and index
類似資料:
|
Springer Science+Business Media B.V. | |
|
Philosophical Library |
Cambridge University Press |
|
Springer London : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Netherlands |
培風館 |
|
HACKETT PUB. |
ACADEMIC PRESS |
|
Scottish Academic Press |
Allen & Unwin |
