Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner.
By: Braüner, Torben.
Contributor(s): SpringerLink (Online service).
Material type: BookSeries: Applied Logic Series, 37.Publisher: Dordrecht : Springer Netherlands, 2011Description: digital.ISBN: 9789400700024.Subject(s): Philosophy (General) | Logic | Computer science | Logic, Symbolic and mathematical | Philosophy | Logic | Mathematical Logic and Formal Languages | Mathematical Logic and FoundationsDDC classification: 160 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.