Braüner, Torben.
Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. - Dordrecht : Springer Netherlands, 2011. - digital. - Applied Logic Series, 37 1386-2790 ; . - Applied Logic Series, 37 .
9789400700024
10.1007/978-94-007-0002-4 doi
Philosophy (General).
Logic.
Computer science.
Logic, Symbolic and mathematical.
Philosophy.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
BC1-199
160
Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. - Dordrecht : Springer Netherlands, 2011. - digital. - Applied Logic Series, 37 1386-2790 ; . - Applied Logic Series, 37 .
9789400700024
10.1007/978-94-007-0002-4 doi
Philosophy (General).
Logic.
Computer science.
Logic, Symbolic and mathematical.
Philosophy.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
BC1-199
160