Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday /
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 |
| 出版事項: |
Berlín, Alemania :
Springer,
2007, c2007
|
| シリーズ: | (Lecture Notes in Computer Science)
|
| オンライン･アクセス: | Ver documento en línea |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料: Algebraic and Proof-theoretic Aspects of Non-classical Logics :
- Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /
- Automated Deduction in Classical and Non-Classical Logics : Selected Papers /
- David Makinson on Classical Methods for Non-Classical Problems /
- Belief Revision in Non-Classical Logics /
- Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
- Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday /