Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Torben Braüner
    978-94-007-0002-4
    2011
    Edition 1
    • First book-length treatment of hybrid logic and its proof-theory
    • Gives detailed introduction to propositional, first-order, and intuitionistic hybrid logic
    • Gives detailed exposition of deductive systems for hybrid logics, including natural deduction, Gentzen, tableau, and axiom systems
    • Includes philosophical and historical background information

    €180

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.