Screen LibraryGentzen calculi for modal propositional logic
Saved in:
| Main Authors: | |
|---|---|
| Corporate Authors: | |
| Published: |
Springer,
|
| Publisher Address: | Dordrecht |
| Publication Dates: | c2011. |
| Literature type: | Book |
| Language: | English |
| Series: |
Trends in logic ; v. 32 |
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/978-90-481-9670-8 |
| Carrier Form: | 1 online resource (xi, 222 p.): |
| ISBN: |
9789048196708 (electronic bk.) 9048196701 (electronic bk.) |
| Index Number: | O141 |
| CLC: | O141 |
| Contents: | Includes bibliographical references and index. |