Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner.
E-book
Electronic resources
Record details
- ISBN: 9789400700024
- Physical Description: XIV, 234 p. digital.
- Publisher: Dordrecht : Springer Netherlands, 2011.
Search for related items by subject
Subject: | Philosophy (General). Logic. Computer science. Logic, Symbolic and mathematical. Philosophy. Logic. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. |