Hybrid logic and its proof-theory
By: Brauner, Torben.
Material type:
BookSeries: Applied Logic series.Publisher: Dordrecht: Springer, 2011Description: xiii, 231 p.; ill.: 25 cm.ISBN: 9789400700017 .Subject(s): Logic, Symbolic and mathematical | Hybrid logics | Proof theory | Proposition logicDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 BRA (Browse shelf) | Available | 025989 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 BLU Complexity and real computation | 511.3 BOO Computability and logic | 511.3 BRA Mathematics of preference, choice and order : essays in honor of Peter C. Fishburn | 511.3 BRA Hybrid logic and its proof-theory | 511.3 BRI Computability : a mathematical sketchbook | 511.3 BUR Logic for mathematics and computer science | 511.3 BUR Logic for mathematics and computer science |
There are no comments for this item.