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 onlineItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
E(electronic)-Books | NISER LIBRARY | 160, 23 (Browse shelf(Opens below)) | Available | E2654 |
Mathematics and Statistics (Springer-11649)
There are no comments on this title.