Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
- Dordrecht Springer Netherlands 2011.
Mathematics and Statistics (Springer-11649)
9789400700024, 978-94-007-0002-4
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Philosophy
Philosophy (General)
160, / 23
Mathematics and Statistics (Springer-11649)
9789400700024, 978-94-007-0002-4
Logic, Symbolic and mathematical
Computer science
Logic
Logic
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Philosophy
Philosophy (General)
160, / 23