Hybrid Logic and its Proof-Theory
Material type:
Computer fileLanguage: English Publication details: Dordrecht Springer Netherlands 2011. ISBN: 9789400700024, 978-94-007-0002-4Subject(s): Logic, Symbolic and mathematical | Computer science | Logic | Logic | Mathematical Logic and Formal Languages | Mathematical Logic and Foundations | Philosophy | Philosophy (General)DDC classification: 160, Online resources: Click here to access online
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
E(electronic)-Books
|
NISER LIBRARY | 160, 23 (Browse shelf(Opens below)) | Available | E2654 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
| 159.98:82 CRO-K Kansas city lightning: the rise and times of charlie parker | 16 ENG-P Philosophical logic: an introduction to advanced topics | 160, 23 Natural Deduction, Hybrid Systems and Modal Logics | 160, 23 Hybrid Logic and its Proof-Theory | 160, 23 Paradoxes | 162 SAV-P Power of logical thinking | 162 KAN- C Critique of practical reason |
Mathematics and Statistics (Springer-11649)
There are no comments on this title.